From 84f11a43358b77a936770b908cb245ae1ad86c58 Mon Sep 17 00:00:00 2001
From: Junio C Hamano <junkio@cox.net>
Date: Sat, 25 Mar 2006 18:27:15 -0800
Subject: [PATCH] git-push: make --thin pack transfer the default.

Just in case it has problems, you can say "git push --no-thin".

Signed-off-by: Junio C Hamano <junkio@cox.net>
---
 git-push.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/git-push.sh b/git-push.sh
index 73dcf067..f10cadbf 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 ;;
         *)
-- 
2.11.0