Specify to update the release branch in RELEASE.rst

This is done manually after publishing a release.
This commit is contained in:
Rangi
2021-05-08 23:44:53 -04:00
parent 830df360ae
commit fba77c4dce

View File

@@ -63,3 +63,5 @@ GitHub.
5. Write a changelog in the GitHub draft release.
6. Click the "Publish release" button to publish it!
7. Update the `release` branch. You can use ``git push origin release``.