How to Release

git checkout master
Update CHANGELOG.md with new version and release date.
Commit CHANGELOG.md.
git push
git tag v#.#.#
git push --tag
make deploy. Vice now runs twice. Do not quit Vice manually! If it gets stuck somewhere, it is an error which must be fixed before restarting from step 1.
Wait until make completes without errors.
Create new release in Github. Copy change list from CHANGELOG.md and add the binaries in deploy folder.
git checkout github-pages
git merge master
make docs
git commit docs
git push

Provide feedback