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 25, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#25297
JuliaTagBot commentedon Dec 4, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#25820
JuliaTagBot commentedon Jan 6, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#27449
JuliaTagBot commentedon Feb 5, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#29438
JuliaTagBot commentedon Feb 11, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#29865
JuliaTagBot commentedon Feb 18, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#30361
JuliaTagBot commentedon Mar 17, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#32212
JuliaTagBot commentedon Mar 28, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#33024
JuliaTagBot commentedon May 8, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#36337
JuliaTagBot commentedon Aug 1, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#41934
JuliaTagBot commentedon Aug 1, 2021
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 27, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#45633
JuliaTagBot commentedon Oct 11, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#46511
JuliaTagBot commentedon Dec 2, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#49769
38 remaining items
JuliaTagBot commentedon Dec 4, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#96463
JuliaTagBot commentedon Mar 15, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#102946
JuliaTagBot commentedon Mar 16, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#102972
JuliaTagBot commentedon Jun 7, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#108492
JuliaTagBot commentedon Jun 25, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#109721
JuliaTagBot commentedon Jul 12, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#110978
JuliaTagBot commentedon Sep 24, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#115814
JuliaTagBot commentedon Oct 21, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#117743
JuliaTagBot commentedon Dec 12, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#121301
JuliaTagBot commentedon Dec 13, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#121345
JuliaTagBot commentedon Jan 9, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#122671
JuliaTagBot commentedon Dec 16, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#144495
JuliaTagBot commentedon Jul 10, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#160699
JuliaTagBot commentedon Oct 1, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#170239
JuliaTagBot commentedon Oct 16, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#172087