Subject: Re: prevent push of irrelevant tags

From: Andreas Schwab <[email-masked]>
Date: Thu, 12 Apr 2012 22:34:12 +0200

Rolf Leggewie <[email-masked]> 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, [email-masked]
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."