-
Create a PR "Preparing for release X.Y.Z" against master branch
- Alter CHANGELOG.md from
[Unreleased]
to[X.Y.Z] YYYY-MM-DD
- Run
make update-version
and giveX.Y.Z
when prompted (this updates the VERSION file, so don't change it manually) - Check that all merges that need to be in the changelog are present
- Get reviews and merge the PR
- Alter CHANGELOG.md from
-
Create a release "Release X.Y.Z" on Github
- Create Tag
vX.Y.Z
- Copy CHANGELOG.md into the release notes
- Create Tag
-
Publish the website to display the latest docs
make publish-website
This repository has been archived by the owner on Apr 23, 2024. It is now read-only.