From fba77c4dce6a6d67eb296feca2b8a1ca492fafe2 Mon Sep 17 00:00:00 2001
From: Rangi <remy.oukaour+rangi42@gmail.com>
Date: Sat, 8 May 2021 23:44:53 -0400
Subject: [PATCH] Specify to update the `release` branch in RELEASE.rst

This is done manually after publishing a release.
---
 RELEASE.rst | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/RELEASE.rst b/RELEASE.rst
index d74f5748..2246e69e 100644
--- a/RELEASE.rst
+++ b/RELEASE.rst
@@ -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``.