Closed JuliaTagBot closed 3 years ago
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/42475
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/43329
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/47768
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/49938
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/57410
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/58306
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/62904
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/73045
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/82535
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/87158
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/87247
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/87691
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/89216
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/110108
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/111062
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/112201
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!