Release process

Normal release (minor version)

Make sure your local main branch is up to date w.r.t. GitHub:
```
git switch main && git pull 
```
Use bump-my-version to drop the -dev postfix from the version and add a new tag:
```
bump-my-version bump release
```
Check that the version matches your expectations:
```
git show
```
Push the commit to GitHub:
```
git push
```
Push the version tag too:
```
git push --tags
```
Wait for GitHub Actions jobs to complete. The version tag should trigger a distribution and Docker builds that are uploaded to PyPI and Quay.io.
In GitHub Releases tab, turn the tag into a release and add release notes.
Close the milestone corresponding to the release and create a new one for the next release.
Prepare the main branch for the next development release (increment the second part of the version number and add a -dev suffix without creating a new tag):
```
bump-my-version bump minor --no-tag
```
Check with git that the new version number matches your expectations.
```
git show
```
Push the commit to GitHub:
```
git push
```
Announce the release.