diff --git a/git-fetch.sh b/git-fetch.sh
index 7c05880bcfca30426d03112c0967ada6f68305be..8564cbfd7abaf0c5aff8d79d660f40b6747d25a0 100755 (executable)
--- a/git-fetch.sh
+++ b/git-fetch.sh
# is no way to guarantee "fast-forward" anyway.
if test -f "$GIT_DIR/$1"
then
- echo >&2 "* $1: updating with $3"
+ if now_=$(cat "$GIT_DIR/$1") && test "$now_" = "$2"
+ then
+ echo >&2 "* $1: same as $3"
+ else
+ echo >&2 "* $1: updating with $3"
+ fi
else
echo >&2 "* $1: storing $3"
fi
then
taglist=$(git-ls-remote --tags "$remote" |
sed -e '
+ /\^/d
s/^[^ ]* //
s/.*/&:&/')
if test "$#" -gt 1
$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