diff options
| -rwxr-xr-x | git-push.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/git-push.sh b/git-push.sh index 73dcf067cb..f10cadbf15 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 ;; *) |