git-tag: add page; git-push: add example of pushing tags

2015-12-18 04:04:11 +02:00
parent 42155ea6dd
commit 3e3f3e411e
2 changed files with 24 additions and 0 deletions
--- a/pages/common/git-push.md
+++ b/pages/common/git-push.md
@@ -17,3 +17,7 @@
 - Remove remote branches which don't exist locally

 `git push --prune {{REMOTE-NAME}}`
+
+- Publish tags
+
+`git push --tags`