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 Dec 3, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#25777
JuliaTagBot commentedon Dec 5, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#25884
JuliaTagBot commentedon Dec 5, 2020
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 Dec 23, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#26857
JuliaTagBot commentedon Jan 2, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#27219
JuliaTagBot commentedon Jan 7, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#27533
JuliaTagBot commentedon Jan 10, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#27665
JuliaTagBot commentedon Jan 13, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#27899
JuliaTagBot commentedon Jan 20, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#28370
JuliaTagBot commentedon Jan 20, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#28390
JuliaTagBot commentedon Apr 2, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#33390
JuliaTagBot commentedon Apr 22, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#35044
JuliaTagBot commentedon May 3, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#35997
JuliaTagBot commentedon May 10, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#36463
14 remaining items
JuliaTagBot commentedon Jul 22, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#88091
JuliaTagBot commentedon Nov 15, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#95381
JuliaTagBot commentedon Mar 10, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#102630
JuliaTagBot commentedon Mar 21, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#103375
JuliaTagBot commentedon Mar 22, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#103439
JuliaTagBot commentedon May 24, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#107572
JuliaTagBot commentedon Jun 7, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#108467
JuliaTagBot commentedon Jun 25, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#109781
JuliaTagBot commentedon Nov 2, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#118582
JuliaTagBot commentedon Nov 29, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#120405
JuliaTagBot commentedon Jan 20, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#123326
JuliaTagBot commentedon Jun 24, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#133540
JuliaTagBot commentedon Jun 24, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#133583
JuliaTagBot commentedon Jan 13, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#146085
JuliaTagBot commentedon Oct 12, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#171462