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 24, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#75818
JuliaTagBot commentedon Jan 31, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#76728
JuliaTagBot commentedon Feb 6, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#77093
JuliaTagBot commentedon Feb 7, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#77201
JuliaTagBot commentedon Mar 2, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#78789
JuliaTagBot commentedon Jun 16, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#85703
JuliaTagBot commentedon Jun 28, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#86420
JuliaTagBot commentedon Jul 13, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#87393
JuliaTagBot commentedon Jul 21, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#87958
JuliaTagBot commentedon Jul 23, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#88114
JuliaTagBot commentedon Aug 7, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#89179
JuliaTagBot commentedon Aug 12, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#89483
JuliaTagBot commentedon Aug 28, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#90397
JuliaTagBot commentedon Sep 9, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#91106
14 remaining items
JuliaTagBot commentedon Jun 24, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#159017
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 3, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#159901
JuliaTagBot commentedon Jul 3, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#159907
JuliaTagBot commentedon Jul 3, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#159954
JuliaTagBot commentedon Jul 25, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#162317
JuliaTagBot commentedon Aug 21, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#165295
JuliaTagBot commentedon Aug 29, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#166473
JuliaTagBot commentedon Sep 2, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#166872
JuliaTagBot commentedon Sep 9, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#167600
JuliaTagBot commentedon Sep 11, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#167826
JuliaTagBot commentedon Sep 12, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#167988
JuliaTagBot commentedon Sep 22, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#169036
JuliaTagBot commentedon Sep 23, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#169252
JuliaTagBot commentedon Sep 29, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#169785