Merge branch 'ra/anno' into next

diff --git a/git-fetch.sh b/git-fetch.sh
index 6730346ba07a8c60cb79a2ec720d072b74cebaca..23d965f327b5a4276f9e4fc1ba3daa8c4313fb4d 100755 (executable)
--- a/git-fetch.sh
+++ b/git-fetch.sh
@@ -25,8 +25,8 @@ do
        -a|--a|--ap|--app|--appe|--appen|--append)
                append=t
                ;;
-       -u|--u|--up|--upl|--uploa|--upload|--upload-|--upload-p|--upload-pa|\
-       --upload-pac|--upload-pack)
+       --upl|--uplo|--uploa|--upload|--upload-|--upload-p|\
+       --upload-pa|--upload-pac|--upload-pack)
                shift
                exec="--exec=$1" 
                upload_pack="-u $1"
@@ -320,7 +320,7 @@ fetch_main () {
     ( : subshell because we muck with IFS
       IFS="    $LF"
       (
-         git-fetch-pack $exec $keep "$remote" $rref || echo failed "$remote"
+         git-fetch-pack $exec $keep --thin "$remote" $rref || echo failed "$remote"
       ) |
       while read sha1 remote_name
       do