Closed JuliaTagBot closed 1 year ago
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/80359
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/80612
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/81981
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/87920
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/88460
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/90229
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/90266
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/91149
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/92857
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/95557
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/96616
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/96845
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/98953
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/106720
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/108195
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!