In order to start the release process a person with the associated permissions should:
- Open a commit page on GitHub
- Write the
@JuliaRegistrator registercomment for the commit:
The Julia Registrator bot should automatically register a request for the new release. Once all checks have passed on the Julia Registrator's side, the new release will be published and tagged automatically.