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. Merge
  9. Update git mirrors
  10. Create release
  11. Push web changes
  12. Announce on relevant channels