-
Philipp Winter authored
* Add a reminder that we should bump the version number in CHANGELOG after we checked out the release branch. * Tag a new release after merging the release branch back into master, as it is suggested in: <https://nvie.com/posts/a-successful-git-branching-model/#finishing-a-release-branch>