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 20, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#25006
JuliaTagBot commentedon Dec 7, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#25987
JuliaTagBot commentedon Dec 21, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#26727
JuliaTagBot commentedon Feb 28, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#30955
JuliaTagBot commentedon Feb 28, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#30966
JuliaTagBot commentedon Apr 17, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#34580
JuliaTagBot commentedon May 13, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#36688
JuliaTagBot commentedon Oct 27, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#47627
JuliaTagBot commentedon Dec 1, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#49692
JuliaTagBot commentedon Dec 16, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#50686
JuliaTagBot commentedon Apr 16, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#58607
JuliaTagBot commentedon May 11, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#60055
JuliaTagBot commentedon Jun 5, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#61749
JuliaTagBot commentedon Oct 3, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#69410
12 remaining items
JuliaTagBot commentedon Sep 15, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#168332
JuliaTagBot commentedon Sep 16, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#168457
JuliaTagBot commentedon Sep 16, 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 Sep 17, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#168601
JuliaTagBot commentedon Sep 17, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#168692
JuliaTagBot commentedon Sep 18, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#168709
JuliaTagBot commentedon Sep 18, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#168798
JuliaTagBot commentedon Sep 30, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#170082
JuliaTagBot commentedon Oct 2, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#170309
JuliaTagBot commentedon Oct 13, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#171562
JuliaTagBot commentedon Oct 22, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#172969
JuliaTagBot commentedon Oct 26, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#173430
JuliaTagBot commentedon Nov 9, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#175528
JuliaTagBot commentedon Nov 10, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#175646
JuliaTagBot commentedon Nov 13, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#176089