diff --git a/git-fetch-script b/git-fetch-script
index 2040c125f92c32a4590a895fb321dbd37e7a49d1..a0326f0e789145ee93f188d5bb3855d8a029bd6b 100755 (executable)
--- a/git-fetch-script
+++ b/git-fetch-script
echo >&2 "Failed to fetch $merge_head from $merge_repo"
exit 1
}
- git-fetch-dumb-http "$head" "$@"
- case "$?" in
- 0) ;;
- 2) no_dumb_http_support=1 ;;
- *) exit;;
- esac
echo Fetching "$merge_head" using http
- git-http-pull -v -a "$head" "$merge_repo/" || {
- case "$no_dumb_http_support" in
- 1)
- echo >&2 "* This could be because the $merge_repo is packed without"
- echo >&2 " preparing dumb server support files."
- ;;
- esac
- exit 1
- }
+ git-http-pull -v -a "$head" "$merge_repo/" || exit
;;
rsync://*)
rsync -L "$merge_repo/$merge_head" "$TMP_HEAD" || exit 1