Updated Release (markdown)

Christian Mäder 2019-12-21 15:24:34 +01:00
parent a439f7b403
commit e3a7e8455e

@ -13,7 +13,7 @@
6. Clean up your local branches: `git branch -d feature-name`
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. Push the branch and make a PR on Github from `develop` to `release`: [.../pull/new/master..develop][new-pr]
4. Push the branch [and make a new PR on Github from `develop` to `release`][new-pr]
Now another maintainer has to approve the PR.