diff options
| author | Junio C Hamano <junkio@cox.net> | 2006-03-26 06:27:15 +0400 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-03-26 12:23:52 +0400 |
| commit | 84f11a43358b77a936770b908cb245ae1ad86c58 (patch) | |
| tree | 8f72551500c9bd641d48625f2d14d3bfa129de20 /git-push.sh | |
| parent | be1295d16a2593dcf468fef7d9e811d057d9039f (diff) | |
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-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 ;; *) |