| . git-sh-setup || die "Not a git archive" |
| # Parse out parameters and then stop at remote, so that we can |
| # translate it using .git/branches information |
| while case "$#" in 0) break ;; esac |
| die "Unknown parameter $1" ;; |
| die "Where would you want to push today?" ;; |
| remote=$(get_remote_url "$@") |
| '') set x $(get_remote_refs_for_push "$@") ;; |
| http://* | https://* | git://* | rsync://* ) |
| die "Cannot push to $remote" ;; |
| set x "$remote" "$@"; shift |
| test "$has_all" && set x "$has_all" "$@" && shift |
| test "$has_force" && set x "$has_force" "$@" && shift |
| test "$has_exec" && set x "$has_exec" "$@" && shift |