Releasing

Once all the changes for a release have been merged to master, ensure the following:

tests are passing
user facing documentation has been updated
you have configured git to use signed commits

Publish Release

To make a release, do these steps with the new version:

Run make ver=X.Y.Z version
Update CHANGELOG.md
Merge changes
Run make add-tag
Run make push-tag