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.
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 Nov 12, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#24518
JuliaTagBot commentedon Dec 4, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#25791
JuliaTagBot commentedon Dec 22, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#26789
JuliaTagBot commentedon Feb 10, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#29775
JuliaTagBot commentedon Feb 23, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#30667
JuliaTagBot commentedon Feb 23, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#30691
JuliaTagBot commentedon Apr 27, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#35418
JuliaTagBot commentedon Apr 27, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#35516
JuliaTagBot commentedon May 3, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#35858
JuliaTagBot commentedon May 23, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#37301
JuliaTagBot commentedon May 31, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#37859
JuliaTagBot commentedon Jun 30, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#39927
JuliaTagBot commentedon Jul 1, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#39995
JuliaTagBot commentedon Aug 1, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#41937
100 remaining items
JuliaTagBot commentedon Jul 3, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#159929
JuliaTagBot commentedon Jul 3, 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 10, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#160717
JuliaTagBot commentedon Jul 29, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#162692
JuliaTagBot commentedon Jul 31, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#162992
JuliaTagBot commentedon Aug 6, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#163685
JuliaTagBot commentedon Aug 7, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#163861
JuliaTagBot commentedon Aug 8, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#163897
JuliaTagBot commentedon Aug 16, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#164684
JuliaTagBot commentedon Aug 28, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#166428
JuliaTagBot commentedon Aug 31, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#166726
JuliaTagBot commentedon Sep 17, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#168649
JuliaTagBot commentedon Sep 18, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#168768
JuliaTagBot commentedon Sep 24, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#169387
JuliaTagBot commentedon Oct 5, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#170662