Commit 29ed4315 authored by anonym's avatar anonym

Clarify step when preparing release candidates.

parent 7959aa2a
......@@ -803,7 +803,12 @@ Push
### Git
Push the last commits to our Git repository:
If preparing a release candidate, just push the `master` branch:
git push origin master
If preparing an actual release, push the last commits to our Git
repository like this:
( cd "$RELEASE_CHECKOUT" && git push ) && \
( cd "$MASTER_CHECKOUT" && git fetch && git merge "$RELEASE_BRANCH" && git push )
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment