Home

Developer notes

How to tag new version

1. Switch to the development branch.
2. Edit NEWS.md for new version (if worthwhile).
3. Edit version number in Project.toml
4. Commit and push.
5. Verify all tests pass.
6. Merge branch into master.
7. On github, in the most recent commit of the master branch, write @JuliaRegistrator register in a comment. This triggers the julia registrator bot.
8. Wait for the pull request to be accepted on https://github.com/JuliaRegistries
9. Git-tag the new release using the instructions left by JuliaRegistrator.