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

    • or move them from the list of hidden files to the public list

  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: