Skip to content

Conversation

@JuliaRegistrator
Copy link
Contributor

UUID: 5a34b05b-6094-51df-87c5-5e0368a91250
Repo: https://github.com/timholy/DebuggingUtilities.jl.git
Tree: f78110dacfc8bfac774adf73570473da058bc593

Registrator tree SHA: e934b8c55381f28735124f23e8f7e96d09b20416
JuliaRegistrator referenced this pull request in timholy/DebuggingUtilities.jl Sep 21, 2020
Use `__source__` and prepare for registration
@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.

@github-actions github-actions bot merged commit db2ef2d into master Sep 24, 2020
@github-actions github-actions bot deleted the registrator/debuggingutilities/5a34b05b/v1.0.0 branch September 24, 2020 10:46
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.

2 participants