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.
Activity
JuliaTagBot commentedon Nov 13, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#24590
JuliaTagBot commentedon Nov 13, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#24618
JuliaTagBot commentedon Nov 15, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#24671
JuliaTagBot commentedon Nov 16, 2020
Triggering TagBot for merged registry pull request
JuliaTagBot commentedon Dec 22, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#26799
JuliaTagBot commentedon Jan 9, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#27653
JuliaTagBot commentedon Jan 15, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#28041
JuliaTagBot commentedon Jan 31, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#29055
JuliaTagBot commentedon Mar 14, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#31924
JuliaTagBot commentedon Mar 21, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#32451
JuliaTagBot commentedon Apr 22, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#35004
JuliaTagBot commentedon Jun 25, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#39619
JuliaTagBot commentedon Sep 23, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#45415
JuliaTagBot commentedon Oct 30, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#47809
10 remaining items
JuliaTagBot commentedon Jun 12, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#62245
JuliaTagBot commentedon Jun 12, 2022
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 Jul 4, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#63645
JuliaTagBot commentedon Jul 23, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#64847
JuliaTagBot commentedon Jul 26, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#65034
JuliaTagBot commentedon Dec 6, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#73581
JuliaTagBot commentedon May 12, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#83499
JuliaTagBot commentedon Jul 9, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#87125
JuliaTagBot commentedon Sep 18, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#91622
JuliaTagBot commentedon Sep 24, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#92082
JuliaTagBot commentedon Dec 15, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#97218
JuliaTagBot commentedon Apr 27, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#105724
JuliaTagBot commentedon Aug 9, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#112765
JuliaTagBot commentedon Sep 4, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#114536
JuliaTagBot commentedon Feb 28, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#149506