fix push command

This commit is contained in:
Manuel Barkhau 2018-11-11 15:55:41 +01:00
parent 431596fb49
commit b924f2a24a

View file

@ -26,7 +26,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 {tag}", 'push_tag' : "git push origin '{tag}'",
}, },
'hg': { 'hg': {
'is_usable': "hg root", 'is_usable': "hg root",