Merge remote-tracking branch 'origin/versions/micro' into versions/minor

This commit is contained in:
Roberto Rosario
2019-11-03 23:13:12 -04:00
2 changed files with 9 additions and 4 deletions

View File

@@ -538,7 +538,7 @@ Release using GitLab CI
#. Push the current branch to the corresponding origin ``releases/`` branch:
::
git push origin <local branch> releases/<branch>
git push origin <local branch>:releases/<branch>
#. Push the new tags: