Create a PR "Preparing for release X.Y.Z" against master branch
[Unreleased]
to [X.Y.Z] YYYY-MM-DD
make update-version
and give X.Y.Z
when prompted (this updates
the VERSION file, so don't change it manually)Create a release "Release X.Y.Z" on Github
vX.Y.Z
Publish the website to display the latest docs
make publish-website