diff --git a/git-fetch.sh b/git-fetch.sh
index 31e5f4c7225df3d279b78f67ebd0f7a8c87ede40..8564cbfd7abaf0c5aff8d79d660f40b6747d25a0 100755 (executable)
--- a/git-fetch.sh
+++ b/git-fetch.sh
$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