Re: git-pull and tag objects

On Sat, 10 Feb 2007, Junio C Hamano wrote:

Although it is correct that the people who already saw the
original tag would not lose the tag object from their repository
when you publish a replacement tag, we have _always_ overwritten
the refs/tags/$tag to point at the new one, effectively losing
the original.

* 0a623e7c (Jul 5, 2005)
In this version "git fetch $repo tag v2.6.13" would have done just

	echo "$head" >"$GIT_DIR/$destination"

without checking if it already existed.

Yes, but only if you actually explicitly asked for it, methinks.

If you just do a "git pull", it won't do it.

So I think it's ok. 

		Linus