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 Nov 29, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#25488
JuliaTagBot commentedon Nov 30, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#25542
JuliaTagBot commentedon Nov 30, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#25554
JuliaTagBot commentedon Dec 2, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#25694
JuliaTagBot commentedon Dec 8, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#26028
JuliaTagBot commentedon Dec 13, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#26311
JuliaTagBot commentedon Dec 20, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#26689
JuliaTagBot commentedon Dec 21, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#26697
JuliaTagBot commentedon Dec 21, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#26729
JuliaTagBot commentedon Dec 21, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#26748
JuliaTagBot commentedon Dec 30, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#27083
JuliaTagBot commentedon Dec 31, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#27130
JuliaTagBot commentedon Jan 1, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#27157
JuliaTagBot commentedon Jan 3, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#27238
235 remaining items
JuliaTagBot commentedon Sep 2, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#137774
JuliaTagBot commentedon Oct 16, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#140516
JuliaTagBot commentedon Oct 22, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#140960
JuliaTagBot commentedon Mar 6, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#149917
JuliaTagBot commentedon Apr 16, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#153069
JuliaTagBot commentedon May 13, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#155345
JuliaTagBot commentedon Jun 26, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#159202
JuliaTagBot commentedon Jun 27, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#159469
JuliaTagBot commentedon Jul 23, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#162114
JuliaTagBot commentedon Jul 24, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#162191
JuliaTagBot commentedon Jul 24, 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 Aug 14, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#164512
JuliaTagBot commentedon Aug 18, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#164820
JuliaTagBot commentedon Aug 30, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#166613
JuliaTagBot commentedon Sep 13, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#168102