For Maintainers

Creating a Release

1. Create a draft release on GitHub and write the ChangeLog. DO NOT PUBLISH IT AT THIS POINT.
   • The new tag should be in the format of X.Y.Z.
2. Edit the root CMakeLists.txt.
   • Change the HARDCODED_VERSION to the new one.
   • Set IS_RELEASE to TRUE.
3. Run make dch in the build directory.
   • Edit debian/changelog and add the ChangeLog contents there as well.
4. Make a commit and push it.
5. Publish the release.
6. cd to the website repo.
7. Run __tools/update_data.sh.
8. Run __tools/releases_to_posts.py.
9. Make a commit and push it.

Then, before making any more changes:

1. Edit the root CMakeLists.txt.
   • Set IS_RELEASE to FALSE.
2. Make a commit and push it.