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 Mar 27, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#32961
JuliaTagBot commentedon Sep 16, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#44970
JuliaTagBot commentedon Oct 17, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#46932
JuliaTagBot commentedon Mar 2, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#55771
JuliaTagBot commentedon May 13, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#60158
JuliaTagBot commentedon Aug 29, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#67276
JuliaTagBot commentedon Aug 29, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#67282
JuliaTagBot commentedon Nov 2, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#71485
JuliaTagBot commentedon Nov 29, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#73119
JuliaTagBot commentedon Feb 24, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#78409
JuliaTagBot commentedon Mar 7, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#79116
JuliaTagBot commentedon Mar 20, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#79981
JuliaTagBot commentedon Mar 31, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#80721
JuliaTagBot commentedon Mar 31, 2023
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 May 4, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#82906
JuliaTagBot commentedon May 17, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#83746
JuliaTagBot commentedon Aug 10, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#112827
JuliaTagBot commentedon Sep 13, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#115115
JuliaTagBot commentedon Oct 27, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#118172
JuliaTagBot commentedon Jan 15, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#123050
JuliaTagBot commentedon Apr 26, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#129838
JuliaTagBot commentedon Apr 28, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#129913
JuliaTagBot commentedon Jul 21, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#135161
JuliaTagBot commentedon Oct 19, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#140758
JuliaTagBot commentedon Mar 24, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#151192
JuliaTagBot commentedon Sep 3, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#167008
JuliaTagBot commentedon Oct 26, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#173491