Re: prevent push of irrelevant tags
- From
Andreas Schwab <schwab@linux-m68k.org>
- Date
- Apr 12, 2012, 20:34 UTC
- 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."