diff --git a/Release.md b/Release.md index 2600dd8..9cfddf1 100644 --- a/Release.md +++ b/Release.md @@ -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.