Document git-clone --use-separate-remote

[git.git] / git-push.sh

diff --git a/git-push.sh b/git-push.sh
index ce2ad71..f10cadb 100755 (executable)
--- 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=--thin
 remote=
 do_tags=
 
@@ -22,6 +23,10 @@ do
                has_force=--force ;;
        --exec=*)
                has_exec="$1" ;;
+       --thin)
+               ;; # noop
+       --no-thin)
+               has_thin= ;;
        -*)
                 usage ;;
         *)
@@ -57,14 +62,9 @@ esac
 
 shift ;# away the initial 'x'
 
-# Now we have explicit refs from the command line or from remotes/
-# shorthand, or --tags.  Falling back on the current branch if we still
-# do not have any may be an alternative, but prevent mistakes for now.
-
-case "$#,$has_all" in
-0,)
-       die "No refs given to be pushed." ;;
-esac
+# $# is now 0 if there was no explicit refspec on the command line
+# and there was no defalt refspec to push from remotes/ file.
+# we will let git-send-pack to do its "matching refs" thing.
 
 case "$remote" in
 git://*)
@@ -77,6 +77,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://*)