# ---- 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