Information on how to make contributions to the
We maintain a changelog according to the keep a changelog format.
The unreleased changelog in
doc/release_notes/unreleased.rst shall be updated continuously,
not just at release.
Release note files are in the
rst format, inspect older release note files to see the
How to make a new release
Stable versions are “released” by marking with a git tag. To make a new release follow these steps.
Test CI pipeline
Before doing anything, launch a CI run from the
main branch to see that everything works
The CI environment is stable but due to things like, e.g., new pylint version it can
When the pipeline has finished and is green you can move on to the next step.
Review the release notes
Check the release notes file
Fill in anything that is missing according to Maintaining changelog.
Determine new version number
We use the Semantic Versioning scheme. Read the Summary at the top of that page and decide the new version number accordingly.
Run release script
Run the script
python3 tools/tag_release.py X.Y.Z
where X.Y.Z is your new version number. The script will copy release notes to a new file, and commit and tag the changes.
Push tag and commits
Assuming you have just performed a CI run, as instructed above, you can now push the tag.
git push origin vX.Y.Z
WARNING: Avoid the “git push –tags” command, which is dangerous since it pushes all your local tags.
This next step is unnecessarily crude due to the fact that GitHub does not allow a fast-forward merge in their Pull Request web UI. A GitHub repo with linear history will use the “rebase and merge” strategy, which changes the SHA of the commits. Hence, the tag that we just pushed will not match any commit on the main branch, if we merge our release commit via the web UI. (See https://stackoverflow.com/questions/60597400).
Instead, this has to be done manually on the command line, and can only be done by a user with complete privileges to the repository.
git push origin HEAD:main
WARNING: Be very careful with this command and inspect locally that you do not push anything else than intended.