diff --git a/docs/chapters/development.rst b/docs/chapters/development.rst
index f9ec75c8fe..b39aee2885 100644
--- a/docs/chapters/development.rst
+++ b/docs/chapters/development.rst
@@ -530,6 +530,11 @@ Release checklist
 Release using GitLab CI
 -----------------------
 
+#. Push the current brach:
+   ::
+
+       git push
+
 #. Delete the corresponding ``releases/`` branch:
    ::