shithub: rgbds

Download patch

ref: fba77c4dce6a6d67eb296feca2b8a1ca492fafe2
parent: 830df360ae7dd5f045d177c5bc57746a9a6d337e
author: Rangi <remy.oukaour+rangi42@gmail.com>
date: Sat May 8 19:44:53 EDT 2021

Specify to update the `release` branch in RELEASE.rst

This is done manually after publishing a release.

--- a/RELEASE.rst
+++ b/RELEASE.rst
@@ -63,3 +63,5 @@
 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``.