From: Junio C Hamano <junkio@cox.net>
Date: Mon, 20 Feb 2006 08:09:41 +0000 (-0800)
Subject: Add git-push --thin.
X-Git-Tag: v1.3.0-rc1~141^3~5
X-Git-Url: https://git.verplant.org/?a=commitdiff_plain;h=a79a27636098be2b9652f59bd447ac074f741e26;p=git.git

Add git-push --thin.

Maybe we would want to make this default before it graduates to
the master branch, but in the meantime to help testing things,
this allows you to say "git push --thin destination".

Signed-off-by: Junio C Hamano <junkio@cox.net>
---

diff --git a/git-push.sh b/git-push.sh
index 706db993..73dcf067 100755
--- a/git-push.sh
+++ b/git-push.sh
@@ -8,6 +8,7 @@ USAGE='[--all] [--tags] [--force] <repository> [<refspec>...]'
 has_all=
 has_force=
 has_exec=
+has_thin=
 remote=
 do_tags=
 
@@ -22,6 +23,8 @@ do
 		has_force=--force ;;
 	--exec=*)
 		has_exec="$1" ;;
+	--thin)
+		has_thin="$1" ;;
 	-*)
                 usage ;;
         *)
@@ -72,6 +75,7 @@ set x "$remote" "$@"; 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://*)