1
0
mirror of https://github.com/git/git.git synced 2024-09-24 12:41:31 +02:00

Fix fetching of tags.

"git fetch tag <tag>" stored a tag after dereferencing.  Bad.

Signed-off-by: Junio C Hamano <junkio@cox.net>
This commit is contained in:
Junio C Hamano 2005-08-24 22:46:07 -07:00
parent 3857284f7b
commit 8572aa85a7

View File

@ -53,8 +53,8 @@ append_fetch_head () {
# 2.6.11-tree tag would not be happy to be fed to resolve.
if git-cat-file commit "$head_" >/dev/null 2>&1
then
head_=$(git-rev-parse --verify "$head_^0") || exit
note_="$head_ $remote_name_ from $remote_nick_"
headc_=$(git-rev-parse --verify "$head_^0") || exit
note_="$headc_ $remote_name_ from $remote_nick_"
echo "$note_" >>$GIT_DIR/FETCH_HEAD
echo >&2 "* committish: $note_"
else