Created Release (markdown)

Christian Mäder 2019-11-01 13:47:56 +01:00
parent f8c4cab875
commit 855c02f6dd

9
Release.md Normal file

@ -0,0 +1,9 @@
1. Make sure you're on the `master` branch: `git checkout master`
1. 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.)
1. Merge any relevant feature into `master`.
2. Put the new version into the `VERSION` file: `echo "0.20.0" > VERSION`
3. Make a commit with the version file change: `git commit -m "Preparation for $(cat VERSION)" VERSION`
4. Tag that commit: `git tag "$(cat VERSION)"`
5. Push the features and the tag: `git push --tags origin && git push origin`
6. Eventually unstash your previous work: `git stash pop`