Closed BenLauwens closed 5 years ago
Registration pull request created: JuliaRegistries/General/3017
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.5.1 -m "<description of version>" 65f1c62cf446218f54a9927a6831a82e69f40458
git push origin v0.5.1
Also, note the warning: Version 0.5.1 skips over 0.5.0 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.
@JuliaRegistrator register()
Registration pull request updated: JuliaRegistries/General/3017
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.5.1 -m "<description of version>" c2c53c1c1338f7e5cbb894275e567dfaf3c5194a
git push origin v0.5.1
@JuliaRegistrator register()