diff options
author | Junio C Hamano <junkio@cox.net> | 2005-11-11 22:37:38 -0800 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2005-11-11 22:37:38 -0800 |
commit | f7a2eb735982e921ae4379f1dcf5f7a023610393 (patch) | |
tree | 26fe2c59a8fed68a531e7b855a495f52198162a2 /git-fetch.sh | |
parent | 23ea3e201cea0deea909569e08e950a9ec2345f7 (diff) | |
parent | 7765e7ebda7e273bca34e87110be899447068b58 (diff) | |
download | git-f7a2eb735982e921ae4379f1dcf5f7a023610393.tar.gz |
This is GIT 1.0-rc1 in disguise. It is plausible that
relatively new parts of the system still need tweaking and
fixing, but that is why it is not 1.0 but rc ;-).
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'git-fetch.sh')
-rwxr-xr-x | git-fetch.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-fetch.sh b/git-fetch.sh index 31e5f4c722..8564cbfd7a 100755 --- a/git-fetch.sh +++ b/git-fetch.sh @@ -230,7 +230,7 @@ do $u =~ s{([^-a-zA-Z0-9/.])}{sprintf"%%%02x",ord($1)}eg; print "$u"; ' "$remote_name") - head=$(curl -nsf $curl_extra_args "$remote/$remote_name_quoted") && + head=$(curl -nsfL $curl_extra_args "$remote/$remote_name_quoted") && expr "$head" : "$_x40\$" >/dev/null || die "Failed to fetch $remote_name from $remote" echo >&2 Fetching "$remote_name from $remote" using http |