You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
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
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.
Activity
JuliaTagBot commentedon Nov 6, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#24246
JuliaTagBot commentedon Nov 26, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#25338
JuliaTagBot commentedon Dec 19, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#26560
JuliaTagBot commentedon Jan 25, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#28614
JuliaTagBot commentedon Jan 28, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#28848
JuliaTagBot commentedon Mar 31, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#33233
JuliaTagBot commentedon Apr 2, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#33398
JuliaTagBot commentedon Apr 7, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#33738
JuliaTagBot commentedon Apr 12, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#34096
JuliaTagBot commentedon Apr 14, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#34273
JuliaTagBot commentedon May 6, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#36221
JuliaTagBot commentedon Jun 11, 2021
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.
JuliaTagBot commentedon Jun 11, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#38630
JuliaTagBot commentedon Jun 14, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#38836
175 remaining items
JuliaTagBot commentedon Oct 8, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#170983
JuliaTagBot commentedon Oct 8, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#171022
JuliaTagBot commentedon Oct 10, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#171232
JuliaTagBot commentedon Oct 10, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#171260
JuliaTagBot commentedon Oct 11, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#171343
JuliaTagBot commentedon Oct 13, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#171556
JuliaTagBot commentedon Oct 14, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#171775
JuliaTagBot commentedon Oct 17, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#172224
JuliaTagBot commentedon Oct 17, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#172262
JuliaTagBot commentedon Oct 20, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#172685
JuliaTagBot commentedon Oct 25, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#173324
JuliaTagBot commentedon Oct 26, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#173425
JuliaTagBot commentedon Oct 28, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#173790
JuliaTagBot commentedon Oct 28, 2026
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.
JuliaTagBot commentedon Nov 3, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#174694