Release process

This document specifies the process leading to a version being ready for release.

Overall steps

  1. Update changelog
  2. Update documentation and README
  3. Update the --version output
  4. Update the --help output
  5. Create an update on the website if appropriate
  6. Tag the last commit of main and web repositories
  7. Push tags
  8. Create a pull request
  9. Merge
  10. Update git mirrors
  11. Create release
  12. Push web changes
  13. Announce on relevant channels