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 Jan 23, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#28502
JuliaTagBot commentedon Jan 28, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#28830
JuliaTagBot commentedon Feb 8, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#29668
JuliaTagBot commentedon Feb 22, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#30653
JuliaTagBot commentedon Mar 19, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#32397
JuliaTagBot commentedon Sep 9, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#44611
JuliaTagBot commentedon Oct 20, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#47067
JuliaTagBot commentedon Jan 28, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#53398
JuliaTagBot commentedon Apr 12, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#58401
JuliaTagBot commentedon Aug 27, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#67216
JuliaTagBot commentedon Nov 16, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#72285
JuliaTagBot commentedon Nov 17, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#72392
JuliaTagBot commentedon Nov 29, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#73066
JuliaTagBot commentedon May 22, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#107372
JuliaTagBot commentedon Jan 14, 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 Jan 14, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#146104
JuliaTagBot commentedon Jan 14, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#146107
JuliaTagBot commentedon Jan 28, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#147063
JuliaTagBot commentedon Jun 12, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#157925
JuliaTagBot commentedon Aug 25, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#165790
JuliaTagBot commentedon Sep 17, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#168654
JuliaTagBot commentedon Sep 30, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#170065