Skip to content

Conversation

@JuliaRegistrator
Copy link
Contributor

@JuliaRegistrator JuliaRegistrator commented Aug 23, 2020

JuliaRegistrator referenced this pull request in PetrKryslUCSD/REPLHistory.jl Aug 23, 2020
@github-actions
Copy link
Contributor

github-actions bot commented Aug 23, 2020

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.

@JuliaRegistrator JuliaRegistrator force-pushed the registrator/replhistory/a5566ce3/v0.1.0 branch from b7b4db9 to d005c45 Compare August 23, 2020 16:14
JuliaRegistrator referenced this pull request in PetrKryslUCSD/REPLHistory.jl Aug 23, 2020
@JuliaRegistrator JuliaRegistrator force-pushed the registrator/replhistory/a5566ce3/v0.1.0 branch from d005c45 to 08c5e43 Compare August 25, 2020 17:14
JuliaRegistrator referenced this pull request in PetrKryslUCSD/REPLHistory.jl Aug 25, 2020
UUID: a5566ce3-012c-4b09-85b8-62131f0c3f36
Repo: https://github.com/PetrKryslUCSD/REPLHistory.jl.git
Tree: 3cfb2e1f46cdcc35a48d2ca0c320e755aaae28b3

Registrator tree SHA: 58e84c9733c0606ca53349dbce519209d8a8402b
@JuliaRegistrator JuliaRegistrator force-pushed the registrator/replhistory/a5566ce3/v0.1.0 branch from 08c5e43 to 102574d Compare August 25, 2020 18:46
JuliaRegistrator referenced this pull request in PetrKryslUCSD/REPLHistory.jl Aug 25, 2020
@github-actions github-actions bot merged commit f26d13d into master Aug 26, 2020
@github-actions github-actions bot deleted the registrator/replhistory/a5566ce3/v0.1.0 branch August 26, 2020 01:21
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