add --follow-tags when doing push

This commit is contained in:
Manuel Barkhau 2020-05-08 19:51:33 +00:00
parent e18cf5d2ad
commit de54b4b19d

View file

@ -33,7 +33,7 @@ VCS_SUBCOMMANDS_BY_NAME = {
'add_path' : "git add --update {path}", 'add_path' : "git add --update {path}",
'commit' : "git commit --file {path}", 'commit' : "git commit --file {path}",
'tag' : "git tag --annotate {tag} --message {tag}", 'tag' : "git tag --annotate {tag} --message {tag}",
'push_tag' : "git push origin {tag}", 'push_tag' : "git push origin --follow-tags {tag}",
'show_remotes': "git config --get remote.origin.url", 'show_remotes': "git config --get remote.origin.url",
}, },
'hg': { 'hg': {