Closed JuliaTagBot closed 3 years ago
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/23980
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/60188
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/100587
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.