Release process: add reminder to close the release notes ticket

parent 5f75b096
......@@ -1555,7 +1555,8 @@ Push
### Git
Push the last commits to our Git repository and put `master` in the
following state:
following state, remembering to close the “Write release notes” ticket
in the merge commit message):
( cd "${RELEASE_CHECKOUT:?}" && \
git push origin \
......@@ -1565,7 +1566,7 @@ following state:
( cd "${MASTER_CHECKOUT:?}" && \
git fetch && \
git merge origin/master && \
git merge "origin/${WEBSITE_RELEASE_BRANCH:?}" && \
git merge --edit "origin/${WEBSITE_RELEASE_BRANCH:?}" && \
echo "stable" > config/base_branch && \
git commit config/base_branch \
-m "Restore master's base branch." \
......
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