Release Process

• Create release notes
  • Should be easy to do from the PR titles
  • Do this via a PR into dev
• Merge dev -> main
  • Just a simple PR from dev to main via GitHub online should do it
  • Should select "Rebase and merge" as the
  • In the past there have been weird merge conflicts but we think we have fixed that now
• Cut a release for PyPI
  • This should happen automatically with the automated pipeline, but ONLY if the build succeeds on all counts
• Bump version in dev
  • Increment at least the bugfix counter, e.g. 2.0.0 -> 2.0.1
  • Done via simple PR into dev
  • This is so that future pre-releases will respect the right version