Update Procedure

Updating the repo:

There are often multiple versions in development so instead of a master branch there is a branch-per-verision (e.g. 26, 27) with linear history for releases and release candidates. Make sure to use the right branch.

# DON'T RUN THIS DIRECTLY

$ cd ~/
$ wget <:url-of-latest>
$ tar xvzf {nautyVVrRR.tar.gz}
$ cd ~/repos/nauty || exit
$ git checkout {nautyVV} || git checkout -b {nautyVV}
$ rm -rf *
$ cp -r ~/{nautyVVrRR}/ .
$ git add -A .
$ git commit

    Dump of {nautyVVrRR}

    retrieved on date:
    {Month DD, YYYY}

    retrieved from:
    http://pallini.di.uniroma1.it/{nautyVVcRR.tar.gz}

$ git push origin {nautyVV}

1. Then, load Github UI
2. Make a tag from the latest commit
3. Use {nautyVVrRR} as the name
4. Copy over the commit message as the release notes
5. If appropriate, check the pre-release box
6. Publish.