Closed kahaaga closed 4 years ago
Error while trying to register: "Tag with name 0.9.2
already exists and points to a different commit"
@JuliaRegistrator register
Registration pull request created: JuliaRegistries/General/5231
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 Julia TagBot is installed, or can be done manually through the github interface, or via:
git tag -a v0.9.3 -m "<description of version>" c931692f19179216c18194f5931b61134c89f14e
git push origin v0.9.3
@JuliaRegistrator register