Maintainer instructions

To release a new version:

Make changes.
Update changelog.
Commit changes and push to GitHub.

Create the tag.

version=vA.B.C
git tag -a $version -m $version
git push
git push origin $version