Encourage usage of git push --follow-tags

--follow-tags pushes both new commits and their tags in one transaction.
It is functional equivalent of git push && git push --tags, but with
less typing. It is available since git 1.8.3 released in April 2013.
This commit is contained in:
Mirosław Zalewski 2017-11-01 11:53:30 +01:00
parent 9f901b1667
commit 1bb3471bcb
2 changed files with 2 additions and 2 deletions

View file

@ -604,7 +604,7 @@ def check_tag_exists(tag, offline=False):
upstream_tag_sha1 = get_remote_tag_sha1(tag)
if upstream_tag_sha1 == "":
error_out(["Tag does not exist in remote git repo: %s" % tag,
"You must tag, then git push and git push --tags"])
"You must tag, then git push --follow-tags"])
debug("Remote tag SHA1: %s" % upstream_tag_sha1)

View file

@ -493,7 +493,7 @@ class VersionTagger(ConfigObject):
info_out("Created tag: %s" % new_tag)
print(" View: git show HEAD")
print(" Undo: tito tag -u")
print(" Push: git push origin && git push origin %s" % new_tag)
print(" Push: git push --follow-tags origin")
def _check_tag_does_not_exist(self, new_tag):
status, output = getstatusoutput(