diff --git a/git-push.sh b/git-push.sh
index 73dcf067cb2cb6c74ce0a51b055470b5c46222e4..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=
+has_thin=--thin
remote=
do_tags=
remote=
do_tags=
--exec=*)
has_exec="$1" ;;
--thin)
--exec=*)
has_exec="$1" ;;
--thin)
- has_thin="$1" ;;
+ ;; # noop
+ --no-thin)
+ has_thin= ;;
-*)
usage ;;
*)
-*)
usage ;;
*)