Skip to content

New package: LocalPoly v0.1.0#64360

Merged
JuliaTagBot merged 1 commit into
masterfrom
registrator/localpoly/c0c96f75/v0.1.0
Jul 18, 2022
Merged

New package: LocalPoly v0.1.0#64360
JuliaTagBot merged 1 commit into
masterfrom
registrator/localpoly/c0c96f75/v0.1.0

Conversation

@JuliaRegistrator
Copy link
Copy Markdown
Contributor

@JuliaRegistrator JuliaRegistrator commented Jul 15, 2022

@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Jul 15, 2022

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.

@giordano
Copy link
Copy Markdown
Member

@jbshannon please see the message above. Once you fix the automerge issues you can register again the new revision without changing the version number and this pull request will be automatically updated.

[noblock]

UUID: c0c96f75-fb1e-4a0c-bd73-67714f26b91d
Repo: https://github.com/jbshannon/LocalPoly.jl.git
Tree: 72d6d4e536d4337b34a73ca5646278846c4ead8e

Registrator tree SHA: 8e1a5ac2695627143951512d700c7e3c445102ec
@JuliaRegistrator JuliaRegistrator force-pushed the registrator/localpoly/c0c96f75/v0.1.0 branch from 89c724a to faf4d2b Compare July 16, 2022 12:23
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch July 16, 2022 12:23 Inactive
@jbshannon
Copy link
Copy Markdown

Done! Thanks @giordano for taking the time to review!

[noblock]

@JuliaTagBot JuliaTagBot merged commit 3da5e9d into master Jul 18, 2022
@JuliaTagBot JuliaTagBot deleted the registrator/localpoly/c0c96f75/v0.1.0 branch July 18, 2022 23:02
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.

4 participants