Work around git-http-pull breakage in git-fetch-script

Need to add a final slash.  And make it verbose by default, since it's
so slow that otherwise people will think it's died.

diff --git a/git-fetch-script b/git-fetch-script
index 244fc50d5e16bfdf6f1a490a61631e6dde5f214d..8a2d37d623a71b71b0f1e86184c0bc88a25068df 100755 (executable)
--- a/git-fetch-script
+++ b/git-fetch-script
@@ -16,7 +16,8 @@ TMP_HEAD="$GIT_DIR/TMP_HEAD"
 case "$merge_repo" in
 http://*)
        head=$(wget -q -O - "$merge_repo/$merge_name") || exit 1
-       git-http-pull -a "$head" "$merge_repo"
+       echo Fetching $head using http
+       git-http-pull -v -a "$head" "$merge_repo/"
        ;;
 rsync://*)
        rsync -L "$merge_repo/$merge_name" "$TMP_HEAD" || exit 1