Add extra step to push checklist

Signed-off-by: Roberto Rosario <roberto.rosario@mayan-edms.com>
This commit is contained in:
Roberto Rosario
2019-11-08 15:10:17 -04:00
parent 58a8678833
commit c981cf05df

View File

@@ -530,6 +530,11 @@ Release checklist
Release using GitLab CI
-----------------------
#. Push the current brach:
::
git push
#. Delete the corresponding ``releases/`` branch:
::