Re: How can I tell if a tag has been pushed, or not?

From: Alex Riesen <raa.lkml@gmail.com>
Date: Jul 10, 2009, 19:28 UTC
Message-ID: <81b0412b0907101228t2cc55aa6g21d2a11ec9caa1c1@mail.gmail.com>
In-Reply-To: <14563.1247247807@relay.known.net>

On Fri, Jul 10, 2009 at 19:43, layer<layer@known.net> wrote:

Show 12 quoted lines

> Here's the problem:
>
> I expect that users, in their own private repos, will from time to
> time create tags that should not be pushed.  Sometimes, tags that
> should be pushed will be created.
>
> I could require that the "public" tags follow a specific convention
> (start with "release", or something).  Then, the scripts all my
> developers use could use that and push only certain tags.  However,
> over time there could be a large number of them.  It seems undesirable
> to push each tag each time a push is done.  So, how can I tell if a
> tag has already been pushed?  Is there a way?

git push does not push any tags by default. You either have to specify them explicitly or add --tags (all tags). Maybe that is enough?

Otherwise, there is always git ls-remote 'tags/*'...