Repository navigation
TagBot trigger issue #98
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 Nov 26, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#25331
Jutho commentedon Nov 26, 2020
TagBog fix
Jutho commentedon Nov 26, 2020
TagBot fix
JuliaTagBot commentedon May 8, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#36323
JuliaTagBot commentedon Jun 3, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#38100
JuliaTagBot commentedon Aug 6, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#42281
JuliaTagBot commentedon Aug 11, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#42616
JuliaTagBot commentedon Apr 14, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#58489
JuliaTagBot commentedon Apr 19, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#81887
JuliaTagBot commentedon Jul 19, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#87841
JuliaTagBot commentedon Aug 3, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#88955
JuliaTagBot commentedon Aug 4, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#89037
JuliaTagBot commentedon Sep 13, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#91332
JuliaTagBot commentedon Sep 13, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#91376
15 remaining items
JuliaTagBot commentedon Jul 28, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#135509
JuliaTagBot commentedon Jul 29, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#135550
JuliaTagBot commentedon Sep 25, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#139133
JuliaTagBot commentedon Jan 5, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#145564
JuliaTagBot commentedon Jan 5, 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 Jan 28, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#147090
JuliaTagBot commentedon Mar 10, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#150148
JuliaTagBot commentedon Apr 3, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#152051
JuliaTagBot commentedon Apr 18, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#153255
JuliaTagBot commentedon May 28, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#156542
JuliaTagBot commentedon Jun 15, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#158114
JuliaTagBot commentedon Aug 5, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#163651
JuliaTagBot commentedon Aug 13, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#164429
JuliaTagBot commentedon Sep 15, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#168412
JuliaTagBot commentedon Oct 1, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#170124