Skip to content

Conversation

@JuliaRegistrator
Copy link
Contributor

UUID: 38191a5c-9707-409e-a5e4-8d538fd01011
Repo: https://github.com/ojwoodford/UserConfig.jl.git
Tree: 5d4a4a823a36c2874d1d666381b9c73cc44e22a7

Registrator tree SHA: 8e1a5ac2695627143951512d700c7e3c445102ec
JuliaRegistrator referenced this pull request in ojwoodford/UserConfig.jl Jul 26, 2022
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch July 26, 2022 14:06 Inactive
@github-actions
Copy link
Contributor

Your new package pull request met all of the guidelines for auto-merging and is scheduled to be merged when the mandatory waiting period (3 days) has elapsed.

Since you are registering a new package, please make sure that you have read the package naming guidelines: https://julialang.github.io/Pkg.jl/dev/creating-packages/#Package-naming-guidelines-1


If you want to prevent this pull request from being auto-merged, simply leave a comment. If you want to post a comment without blocking auto-merging, you must include the text [noblock] in your comment.

@JuliaTagBot JuliaTagBot merged commit 897ca52 into master Jul 29, 2022
@JuliaTagBot JuliaTagBot deleted the registrator/userconfig/38191a5c/v0.3.1 branch July 29, 2022 14:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants