diff --git a/git-push.sh b/git-push.sh
index 706db9933e7a3d418a0bc77a743695464901b800..f10cadbf159bcd63af0c3834bd7cd2fab6cce57c 100755 (executable)
--- a/git-push.sh
+++ b/git-push.sh
has_all=
has_force=
has_exec=
has_all=
has_force=
has_exec=
+has_thin=--thin
remote=
do_tags=
remote=
do_tags=
has_force=--force ;;
--exec=*)
has_exec="$1" ;;
has_force=--force ;;
--exec=*)
has_exec="$1" ;;
+ --thin)
+ ;; # noop
+ --no-thin)
+ has_thin= ;;
-*)
usage ;;
*)
-*)
usage ;;
*)
test "$has_all" && set x "$has_all" "$@" && shift
test "$has_force" && set x "$has_force" "$@" && shift
test "$has_exec" && set x "$has_exec" "$@" && 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
+test "$has_thin" && set x "$has_thin" "$@" && shift
case "$remote" in
http://* | https://*)
case "$remote" in
http://* | https://*)