zhaoli-IHEP/FeynUtils.jl

retrigger registration again

Closed this issue · 13 comments

Error while trying to register: "Tag with name v1.0.0 already exists and points to a different commit"

Error while trying to register: "Tag with name v1.0.0 already exists and points to a different commit"

Registration pull request created: JuliaRegistries/General/84591

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v1.0.0 -m "<description of version>" 8cd1006072abdb8dd8343d34e298f2c7abb6e3c6
git push origin v1.0.0

Error while trying to register: "Tag with name v1.0.0 already exists and points to a different commit"

Error while trying to register: "Tag with name v1.0.1 already exists and points to a different commit"

Registration pull request created: JuliaRegistries/General/84592

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v1.0.1 -m "<description of version>" ce4b0c9cff0ba4b159c0bc104e1f8320fec02b45
git push origin v1.0.1

Also, note the warning: This looks like a new registration that registers version 1.0.1.
Ideally, you should register an initial release with 0.0.1, 0.1.0 or 1.0.0 version numbers
This can be safely ignored. However, if you want to fix this you can do so. Call register() again after making the fix. This will update the Pull request.

Registration pull request updated: JuliaRegistries/General/84591

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v1.0.0 -m "<description of version>" 0115ef6de366a925baebc0a7746ab9a2f994be97
git push origin v1.0.0