You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This issue is used to trigger TagBot; feel free to unsubscribe.
If you haven't already, you should update your TagBot.yml to include issue comment triggers.
Please see this post on Discourse for instructions and more details.
If you'd like for me to do this for you, comment TagBot fix on this issue.
I'll open a PR within a few hours, please be patient!
Triggering TagBot for merged registry pull request
This extra notification is being sent because I expected a tag to exist by now, but it doesn't.
You may want to check your TagBot configuration to ensure that it's running, and if it is, check the logs to make sure that there are no errors.
Activity
JuliaTagBot commentedon Dec 4, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#25852
JuliaTagBot commentedon Dec 5, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#25865
JuliaTagBot commentedon Dec 20, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#26688
JuliaTagBot commentedon Dec 21, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#26731
JuliaTagBot commentedon Mar 7, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#31437
JuliaTagBot commentedon Mar 20, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#32446
JuliaTagBot commentedon Mar 28, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#33035
JuliaTagBot commentedon Mar 30, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#33189
JuliaTagBot commentedon Apr 7, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#33748
JuliaTagBot commentedon Apr 11, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#34054
JuliaTagBot commentedon Apr 12, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#34095
JuliaTagBot commentedon Apr 19, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#34703
JuliaTagBot commentedon Apr 20, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#34728
JuliaTagBot commentedon Apr 21, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#34917
27 remaining items
JuliaTagBot commentedon Nov 2, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#118578
JuliaTagBot commentedon Nov 10, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#119119
JuliaTagBot commentedon Feb 6, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#124454
JuliaTagBot commentedon Mar 31, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#128053
JuliaTagBot commentedon Jan 6, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#145584
JuliaTagBot commentedon Jan 14, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#146132
JuliaTagBot commentedon Jun 6, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#157314
JuliaTagBot commentedon Jun 11, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#157827
JuliaTagBot commentedon Jun 16, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#158238
JuliaTagBot commentedon Jul 6, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#160153
JuliaTagBot commentedon Jul 12, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#160930
JuliaTagBot commentedon Jul 13, 2026
Triggering TagBot for merged registry pull request
This extra notification is being sent because I expected a tag to exist by now, but it doesn't.
You may want to check your TagBot configuration to ensure that it's running, and if it is, check the logs to make sure that there are no errors.
JuliaTagBot commentedon Jul 13, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#161241
JuliaTagBot commentedon Jul 14, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#161321
JuliaTagBot commentedon Oct 20, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#172698