TagBot trigger issue

Question

TagBot trigger issue

JuliaTagBot opened this issue 3 years ago · comments

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.

If you'd like for me to do this for you, comment TagBot fix on this issue.
I'll open a PR within a few hours, please be patient!

Julia TagBot · Answer 1 · Sun Feb 14 2021 20:01:22 GMT+0800 (China Standard Time)

Triggering TagBot for merged registry pull request: JuliaRegistries/General#29874

Julia TagBot · Answer 2 · Tue Feb 16 2021 21:58:08 GMT+0800 (China Standard Time)

Triggering TagBot for merged registry pull request: JuliaRegistries/General#30153

Julia TagBot · Answer 3 · Tue Mar 16 2021 16:39:12 GMT+0800 (China Standard Time)

Triggering TagBot for merged registry pull request: JuliaRegistries/General#32073

Julia TagBot · Answer 4 · Thu Sep 02 2021 17:39:05 GMT+0800 (China Standard Time)

Triggering TagBot for merged registry pull request: JuliaRegistries/General#44034

Julia TagBot · Answer 5 · Thu Sep 09 2021 17:32:51 GMT+0800 (China Standard Time)

Triggering TagBot for merged registry pull request: JuliaRegistries/General#44548

Julia TagBot · Answer 6 · Sun Sep 19 2021 20:50:53 GMT+0800 (China Standard Time)

Triggering TagBot for merged registry pull request: JuliaRegistries/General#45177

Julia TagBot · Answer 7 · Sun Sep 19 2021 22:57:57 GMT+0800 (China Standard Time)

Triggering TagBot for merged registry pull request: JuliaRegistries/General#45184

Julia TagBot · Answer 8 · Thu Aug 11 2022 18:40:31 GMT+0800 (China Standard Time)

Triggering TagBot for merged registry pull request: JuliaRegistries/General#66076

Julia TagBot · Answer 9 · Thu Oct 13 2022 21:38:20 GMT+0800 (China Standard Time)

Triggering TagBot for merged registry pull request: JuliaRegistries/General#70105

Julia TagBot · Answer 10 · Wed Jul 19 2023 16:51:41 GMT+0800 (China Standard Time)

Triggering TagBot for merged registry pull request: JuliaRegistries/General#87781

Julia TagBot · Answer 11 · Fri Dec 08 2023 19:32:14 GMT+0800 (China Standard Time)

Triggering TagBot for merged registry pull request: JuliaRegistries/General#96744