mirror of
https://github.com/git/git.git
synced 2025-03-15 00:11:14 +00:00
Even when overwriting tags, report if they are changed or not.
Signed-off-by: Junio C Hamano <junkio@cox.net>
This commit is contained in:
parent
fe5f51ce27
commit
f8765797a4
@ -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
|
||||
|
Loading…
x
Reference in New Issue
Block a user