projects
/
git.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
ff989b8
)
git-fetch: do not look into $GIT_DIR/refs to see if a tag exists.
author
Junio C Hamano
<junkio@cox.net>
Tue, 3 Oct 2006 09:08:19 +0000
(
02:08
-0700)
committer
Junio C Hamano
<junkio@cox.net>
Tue, 3 Oct 2006 09:08:19 +0000
(
02:08
-0700)
Signed-off-by: Junio C Hamano <junkio@cox.net>
git-fetch.sh
patch
|
blob
|
history
diff --git
a/git-fetch.sh
b/git-fetch.sh
index f1522bd49a2fc1c3106c6b2ed0a38af0a9ff72de..e8a766818282d1ace559d4a5148927a656e2b492 100755
(executable)
--- 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