summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 60ea0fd)
raw | patch | inline | side by side (parent: 60ea0fd)
author | Linus Torvalds <torvalds@g5.osdl.org> | |
Sat, 16 Jul 2005 17:31:38 +0000 (10:31 -0700) | ||
committer | Linus Torvalds <torvalds@g5.osdl.org> | |
Sat, 16 Jul 2005 17:31:38 +0000 (10:31 -0700) |
We were trying to fetch using the merge-head name rather than the
merge-head SHA1 that we just got.
Now, http:// is broken anyway right now for packing, but this should
make it work for nonpacked repositories again.
merge-head SHA1 that we just got.
Now, http:// is broken anyway right now for packing, but this should
make it work for nonpacked repositories again.
git-fetch-script | patch | blob | history |
diff --git a/git-fetch-script b/git-fetch-script
index ab3b6f92bbc83b2a8c32c30bce6f98bbe6b90b75..b44cf3f5a5bf61788ae6dc384ed59841ddd1f517 100755 (executable)
--- a/git-fetch-script
+++ b/git-fetch-script
http://*)
head=$(wget -q -O - "$merge_repo/$merge_head") || exit 1
echo Fetching "$merge_head" using http
- git-http-pull -v -a "$merge_head" "$merge_repo/"
+ git-http-pull -v -a "$head" "$merge_repo/"
;;
rsync://*)
rsync -L "$merge_repo/$merge_head" "$TMP_HEAD" || exit 1