Skip to content

Conversation

@JuliaRegistrator
Copy link
Contributor

UUID: 1b08a953-4be3-4667-9a23-3db579824955
Repo: https://github.com/plotly/Dash.jl.git
Tree: 37c42f2a72a38c8141f1b39def8cfcc5b48bacea

Registrator tree SHA: f73a20c99934db92a256057d0d83ba394036a701
JuliaRegistrator referenced this pull request in plotly/Dash.jl Feb 13, 2023
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch February 13, 2023 14:22 — with GitHub Actions Inactive
@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 and the AutoMerge guidelines. The following guidelines were not met:

  • Does not meet sequential version number guideline: version 1.2.1 skips over 1.2.0

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.

After you have fixed the AutoMerge issues, simple retrigger Registrator, which will automatically update this pull request. You do not need to change the version number in your Project.toml file (unless of course the AutoMerge issue is that you skipped a version number, in which case you should change the version number).

If you do not want to fix the AutoMerge issues, please post a comment explaining why you would like this pull request to be manually merged.


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.

@etpinard
Copy link

etpinard commented Feb 13, 2023

Hi, I made a failed attempt at registering the 1.2.0 version and then I erroneously tagged and pushed v1.2.0 before a successful registration (more info in plotly/Dash.jl#187)

I think skipping the v1.2.0 in the registry is less bad than undoing the git tag, so I'd appreciate if someone reviews this PR manually.

Thank you very much!

@etpinard
Copy link

Ping! Requesting a manual PR review.

Thanks!

@giordano giordano merged commit 907457d into master Feb 24, 2023
@giordano giordano deleted the registrator-dash-1b08a953-v1.2.1-15e8ee1eaa branch February 24, 2023 23:10
@etpinard
Copy link

thank you @giordano !

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