phaverty
@JuliaRegistrator register()
Registration pull request created: JuliaRegistries/General/69801
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 v0.9.8 -m "<description of version>" f8025dcf6ac90a0c5b29b28c80ddbe855de56783
git push origin v0.9.8
Registration pull request created: JuliaRegistries/General/69893
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 v0.9.9 -m "<description of version>" f258ba4f9cc148a638a16ccf2d9ee1a4a6dc0b53
git push origin v0.9.9