Re: prevent push of irrelevant tags

Rolf Leggewie [off-list ref] 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."