| . git-sh-setup-script || 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" ;; |
| # An URL, host:/path/to/git, absolute and relative paths. |
| if expr "$remote" : '..*/..*' >/dev/null |
| # a short-hand followed by a trailing path |
| shorthand=$(expr "$remote" : '\([^/]*\)') |
| remainder=$(expr "$remote" : '[^/]*\(/.*\)$') |
| remote=$(sed -e 's/#.*//' "$GIT_DIR/branches/$remote") && |
| expr "$remote" : '..*:' >/dev/null && |
| remote="$remote$remainder" || |
| die "Cannot parse remote $remote" |
| 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 |