Closed JuliaTagBot closed 3 years ago
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/24714
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/35695
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/39363
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/41736
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/42941
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/43001
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/43014
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/43108
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/43825
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/44395
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/44409
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/45784
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/46240
Triggering TagBot for merged registry pull request
This extra notification is being sent because I expected a tag to exist by now, but it doesn't. You may want to check your TagBot configuration to ensure that it's running, and if it is, check the logs to make sure that there are no errors.
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/46466
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/47909
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/51088
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/68169
Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/70067
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.