From: Andreas Schwab <schwab@linux-m68k.org>
Date: Thu, 12 Apr 2012 20:34:12 GMT
Subject: Re: prevent push of irrelevant tags
Message-ID: <m2bomwy9iz.fsf@igel.home>
In-Reply-To: <4F873153.9060004@rolf.leggewie.biz>

Rolf Leggewie <foss@rolf.leggewie.biz> writes:

> I just ran into the situation that "git push --tags" pushed tags to the
> remote repo that point to commits that do not exist there.  How can this
> happen?

A tag is just a ref like any other.

> Git has the information to know that tag X will be useless in repo Y
> because the commit Z it points to does not exist in Y.

It is not useless.  After you pushed the tag the commit Z it points to
exists now in Y as well.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."