Release

1. Make sure you're on the master branch: git checkout master
2. Make sure, that the branch is clean: git status should not show any pending change.
   1. (Use git stash to stash them away for the release process.)
3. Merge any relevant feature into master.
4. Put the new version into the VERSION file: echo "0.20.0" > VERSION
5. Make a commit with the version file change: git commit -m "Preparation for $(cat VERSION)" VERSION
6. Tag that commit: git tag "$(cat VERSION)"
7. Push the features and the tag: git push --tags origin && git push origin
8. Eventually unstash your previous work: git stash pop