diff --git a/docs/chapters/development.rst b/docs/chapters/development.rst index f9ec75c8fe..c5cb508b5b 100644 --- a/docs/chapters/development.rst +++ b/docs/chapters/development.rst @@ -530,6 +530,17 @@ Release checklist Release using GitLab CI ----------------------- +#. Push the current brach: + :: + + git push + +#. Push the new tags: + :: + + git push --tags + + #. Delete the corresponding ``releases/`` branch: :: @@ -541,12 +552,6 @@ Release using GitLab CI git push origin :releases/ -#. Push the new tags: - :: - - git push --tags - - Manual release --------------