The following steps are recommended for releases:

  1. write or update the release notes with notable changes below docs/releases/
  2. reference these release notes in docs/releases/index.rst
  3. commit the above changes
  4. verify that the latest CI pipeline finished successfully
  5. run make release-(major|minor|patch (depending on the included changes)
  6. push the changes: git push && git push --tags
  7. announce the changes (e.g. in