Closed JuliaTagBot closed 1 year ago
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/77035
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/86726
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/86798
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/86860
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/87759
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/95313
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/95965
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/96414
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/104333
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/104970
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/105018
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/108695
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/110847
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/110951
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/111439
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/111908
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/112014
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!