Closed JuliaTagBot closed 4 years ago
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/24087
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/24093
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/24204
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/33071
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/83723
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.