Repository navigation
TagBot trigger issue #223
Description
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!
Activity
JuliaTagBot commentedon Dec 16, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#26454
isuruf commentedon Dec 16, 2020
TagBot fix
JuliaTagBot commentedon Aug 19, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#43157
JuliaTagBot commentedon Aug 20, 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 Aug 23, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#43344
JuliaTagBot commentedon Oct 1, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#45918
JuliaTagBot commentedon Dec 3, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#49821
JuliaTagBot commentedon Dec 3, 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 Mar 15, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#79624
JuliaTagBot commentedon Jun 4, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#84852
JuliaTagBot commentedon Sep 12, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#91300
JuliaTagBot commentedon Oct 7, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#92966
JuliaTagBot commentedon Jun 27, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#109919
JuliaTagBot commentedon Aug 26, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#135535
JuliaTagBot commentedon Dec 17, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#144640
JuliaTagBot commentedon Feb 27, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#149447