diff options
| author | Junio C Hamano <junkio@cox.net> | 2006-02-20 11:09:41 +0300 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-02-20 11:09:41 +0300 |
| commit | a79a27636098be2b9652f59bd447ac074f741e26 (patch) | |
| tree | c17d0bf03e895f66db0529f585fb65846117c28d /git-push.sh | |
| parent | 2245be3e7a5a2999ebf7d38e569c98994b0cda31 (diff) | |
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>
Diffstat (limited to 'git-push.sh')
| -rwxr-xr-x | git-push.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/git-push.sh b/git-push.sh index 706db9933e..73dcf067cb 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://*) |