Merge remote-tracking branch 'origin/versions/micro' into merges/micro_to_minor

Signed-off-by: Roberto Rosario <roberto.rosario@mayan-edms.com>
2019-11-19 03:38:37 -04:00
parent b6414e4e92 8ee9ac239d
commit 6b2aeaf421
10 changed files with 117 additions and 49 deletions
@@ -535,6 +535,13 @@ Release using GitLab CI

       git push

+
+#. Push the new tags:
+   ::
+
+       git push --tags
+
+
 #. Delete the corresponding ``releases/`` branch:
   ::

@@ -546,12 +553,6 @@ Release using GitLab CI
       git push origin <local branch>:releases/<branch>


-#. Push the new tags:
-   ::
-
-       git push --tags
-
-
 Manual release
 --------------