diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2019-07-17 08:55:50 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-17 14:12:27 +0100 |
| commit | caa1e709a82e10200b3e1cc310a4a40d2212cbc2 (patch) | |
| tree | aecba73dd9d60ffed5aa5d676e5e21f189459809 /git-debpush | |
| parent | ac981dd92158727ad37f82d4b609c498539b848a (diff) | |
git-debpush: cope with spaces in user-supplied upstream tag
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Diffstat (limited to 'git-debpush')
| -rwxr-xr-x | git-debpush | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/git-debpush b/git-debpush index 03fc9ce..1902fa9 100755 --- a/git-debpush +++ b/git-debpush @@ -323,6 +323,9 @@ EOF # ---- Do a git push if $pushing; then - # xxx when user can specify upstream_tag, must cope with spaces - git push "$remote" "${push_branch[@]}" $upstream_tag "$debian_tag" + if [ "x$upstream_tag" = "x" ]; then + git push "$remote" "${push_branch[@]}" "$debian_tag" + else + git push "$remote" "${push_branch[@]}" "$debian_tag" "$upstream_tag" + fi fi |