Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

TagBot trigger issue #134

Closed
JuliaTagBot opened this issue Nov 15, 2020 · 7 comments
Closed

TagBot trigger issue #134

JuliaTagBot opened this issue Nov 15, 2020 · 7 comments

Comments

@JuliaTagBot
Copy link
Contributor

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.
@JuliaTagBot
Copy link
Contributor Author

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

@JuliaTagBot
Copy link
Contributor Author

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

@JuliaTagBot
Copy link
Contributor Author

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

@JuliaTagBot
Copy link
Contributor Author

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

@JuliaTagBot
Copy link
Contributor Author

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

@JuliaTagBot
Copy link
Contributor Author

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

@JuliaTagBot
Copy link
Contributor Author

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

# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@JuliaTagBot