summaryrefslogtreecommitdiff
path: root/git-push.sh
diff options
context:
space:
mode:
authorJunio C Hamano <junkio@cox.net>2006-03-25 18:27:15 -0800
committerJunio C Hamano <junkio@cox.net>2006-03-26 00:23:52 -0800
commit84f11a43358b77a936770b908cb245ae1ad86c58 (patch)
tree8f72551500c9bd641d48625f2d14d3bfa129de20 /git-push.sh
parentbe1295d16a2593dcf468fef7d9e811d057d9039f (diff)
downloadgit-84f11a43358b77a936770b908cb245ae1ad86c58.tar.gz
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>
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 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 ;;
*)