diff options
author | Junio C Hamano <junkio@cox.net> | 2005-10-18 18:42:14 -0700 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2005-10-18 18:42:14 -0700 |
commit | f8765797a41a39f4dfc7030098c38283e6461a83 (patch) | |
tree | b3e264fd1c43b3a2b1cf3f5f9d103f60a2255d34 | |
parent | Optimize common case of git-rev-list (diff) | |
download | tgif-f8765797a41a39f4dfc7030098c38283e6461a83.tar.xz |
Even when overwriting tags, report if they are changed or not.
Signed-off-by: Junio C Hamano <junkio@cox.net>
-rwxr-xr-x | git-fetch.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/git-fetch.sh b/git-fetch.sh index 31b1cf0306..31e5f4c722 100755 --- a/git-fetch.sh +++ b/git-fetch.sh @@ -114,7 +114,12 @@ fast_forward_local () { # 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 |