diff options
author | Junio C Hamano <junkio@cox.net> | 2006-10-03 02:08:19 -0700 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2006-10-03 02:08:19 -0700 |
commit | 47292d65dec754bbe37d82369faabeaf8f0cdb7a (patch) | |
tree | 5b4120e1a3e34db3fec1d00954101c294b1df486 | |
parent | ff989b8d466ee2ec42c69c02e6551add430b8497 (diff) | |
download | git-47292d65dec754bbe37d82369faabeaf8f0cdb7a.tar.gz git-47292d65dec754bbe37d82369faabeaf8f0cdb7a.tar.xz |
git-fetch: do not look into $GIT_DIR/refs to see if a tag exists.
Signed-off-by: Junio C Hamano <junkio@cox.net>
-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 f1522bd49..e8a766818 100755 --- a/git-fetch.sh +++ b/git-fetch.sh @@ -417,7 +417,7 @@ case "$no_tags$tags" in sed -ne 's|^\([0-9a-f]*\)[ ]\(refs/tags/.*\)^{}$|\1 \2|p' | while read sha1 name do - test -f "$GIT_DIR/$name" && continue + git-show-ref --verify --quiet -- $name && continue git-check-ref-format "$name" || { echo >&2 "warning: tag ${name} ignored" continue |