git-push.sh

   1 #!/bin/sh
   2 . git-sh-setup || die "Not a git archive"
   3
   4 # Parse out parameters and then stop at remote, so that we can
   5 # translate it using .git/branches information
   6 has_all=
   7 has_force=
   8 has_exec=
   9 remote=
  10
  11 while case "$#" in 0) break ;; esac
  12 do
  13         case "$1" in
  14         --all)
  15                 has_all=--all ;;
  16         --force)
  17                 has_force=--force ;;
  18         --exec=*)
  19                 has_exec="$1" ;;
  20         -*)
  21                 die "Unknown parameter $1" ;;
  22         *)
  23                 set x "$@"
  24                 shift
  25                 break ;;
  26         esac
  27         shift
  28 done
  29 case "$#" in
  30 0)
  31         echo "Where would you want to push today?"
  32         usage ;;
  33 esac
  34
  35 . git-parse-remote
  36 remote=$(get_remote_url "$@")
  37 case "$has_all" in
  38 --all) set x ;;
  39 '')    set x $(get_remote_refs_for_push "$@") ;;
  40 esac
  41 shift
  42
  43 case "$remote" in
  44 http://* | https://* | git://* | rsync://* )
  45         die "Cannot push to $remote" ;;
  46 esac
  47
  48 set x "$remote" "$@"; shift
  49 test "$has_all" && set x "$has_all" "$@" && shift
  50 test "$has_force" && set x "$has_force" "$@" && shift
  51 test "$has_exec" && set x "$has_exec" "$@" && shift
  52
  53 exec git-send-pack "$@"