Skip to content

Release Process

Benjamin Pedigo edited this page May 23, 2023 · 7 revisions
  • 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 "Squash and merge" as the may of merging this PR image
    • In the past there have been weird merge conflicts but we think we have fixed that now - I believe the rebase and merge made things wonky
  • 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