summaryrefslogtreecommitdiff
path: root/git-push.sh
diff options
context:
space:
mode:
Diffstat (limited to 'git-push.sh')
-rwxr-xr-xgit-push.sh6
1 files changed, 4 insertions, 2 deletions
diff --git a/git-push.sh b/git-push.sh
index 73dcf06..f10cadb 100755
--- a/git-push.sh
+++ b/git-push.sh
@@ -8,7 +8,7 @@ USAGE='[--all] [--tags] [--force] <repository> [<refspec>...]'
has_all=
has_force=
has_exec=
-has_thin=
+has_thin=--thin
remote=
do_tags=
@@ -24,7 +24,9 @@ do
--exec=*)
has_exec="$1" ;;
--thin)
- has_thin="$1" ;;
+ ;; # noop
+ --no-thin)
+ has_thin= ;;
-*)
usage ;;
*)