This document describes the release process for the project.
- Determine the next version number based on the changes since the last release.
- Create a branch named
vX.Y.Z
whereX.Y.Z
is the version number. Tag the HEAD of the branch with the version number. - Push the changes upstream including the tags by running
git push origin vX.Y.Z --tags
. - Once continuous integration passes, merge the branch, and create the release through GitHub's UI generating the release notes automatically.