Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

New version: OceanStateEstimation v0.1.3 #18694

Merged
merged 1 commit into from
Aug 2, 2020
Merged

New version: OceanStateEstimation v0.1.3 #18694

merged 1 commit into from
Aug 2, 2020

Conversation

JuliaRegistrator
Copy link
Contributor

@JuliaRegistrator JuliaRegistrator commented Jul 29, 2020 •
edited
Loading

@JuliaRegistrator JuliaRegistrator mentioned this pull request Jul 29, 2020
Closed
@github-actions
Copy link
Contributor

Your new version pull request does not meet the guidelines for auto-merging. Please make sure that you have read the General registry README. The following guidelines were not met:

  • Does not meet sequential version number guideline: version 0.1.3 skips over 0.1.2

Note that the guidelines are only required for the pull request to be merged automatically. However, it is strongly recommended to follow them, since otherwise the pull request needs to be manually reviewed and merged by a human.

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.

@gaelforget
Copy link
Contributor

  • Does not meet sequential version number guideline: version 0.1.3 skips over 0.1.2

By mistake I released v0.1.2 via Github directly rather than via the tagbot. Hence I now release v0.1.3 via tagbot & skip v0.1.2

@JuliaRegistrator
New version: OceanStateEstimation v0.1.3
9b97c16 
UUID: 891f6deb-a4f5-4bc5-a2e3-1e8f649cdd2c
Repo: https://github.com/gaelforget/OceanStateEstimation.jl.git
Tree: 0524c20050cca6f659747ce68b06ead123fcb57f

Registrator tree SHA: 58e84c9733c0606ca53349dbce519209d8a8402b
@JuliaRegistrator JuliaRegistrator force-pushed the registrator/oceanstateestimation/891f6deb/v0.1.3 branch from 21ce126 to 9b97c16 Compare July 29, 2020 22:51
@gaelforget
Copy link
Contributor

  • Does not meet sequential version number guideline: version 0.1.3 skips over 0.1.2

By mistake I released v0.1.2 via Github directly rather than via the tagbot. Hence I now release v0.1.3 via tagbot & skip v0.1.2

[noblock] Please merge as v0.1.3 or let me know how I can help

@giordano giordano merged commit 6dfd0e8 into master Aug 2, 2020
@giordano giordano deleted the registrator/oceanstateestimation/891f6deb/v0.1.3 branch August 2, 2020 18:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
patch release
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@JuliaRegistrator @gaelforget @giordano