This repository has been archived by the owner on Mar 11, 2023. It is now read-only.

Maintainer instructions

To release a new version:

Make changes.
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