From c981cf05df72fb80c2d6430660c08b86b2e48de0 Mon Sep 17 00:00:00 2001 From: Roberto Rosario Date: Fri, 8 Nov 2019 15:10:17 -0400 Subject: [PATCH] Add extra step to push checklist Signed-off-by: Roberto Rosario --- docs/chapters/development.rst | 5 +++++ 1 file changed, 5 insertions(+) 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: ::