Closed JuliaTagBot closed 3 years ago
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/33320
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/33907
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/38705
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/38829
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/40008
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/40545
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/47382
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/48828
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/48900
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/55550
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/56877
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/58134
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/58195
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/77714
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/86073
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/87870
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/90917
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/95841
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/98438
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/106488
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/108814
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!