DOC: Push release commits and tags together

2026-07-13 17:42:42 +08:00 · 2016-03-29 10:59:33 -04:00
parent b2cd5b48b4
commit 92947d3268
1 changed files with 1 additions and 2 deletions
@@ -37,8 +37,7 @@ To upgrade the version use the git tag command like:
 .. code-block:: bash

   $ git tag <major>.<minor>.<micro>
-   $ git push
-   $ git push --tags
+   $ git push --follow-tags


 This will push the the code and the tag information.