Releases

To cut a release:

Ensure the changelog is up-to-date with the commits since the last release.
Bump the version in version.txt.
Commit those changes. Tag the commit with the version.
Push the changes.