{"thread":{"id":"20080","subject":"How can I tell if a tag has been pushed, or not?","startedAt":"2009-07-10T17:43:27Z","lastAt":"2009-07-11T13:44:53Z","messageCount":4,"participants":["layer","Alex Riesen","Andreas Ericsson"],"isPatch":false,"patchVersion":null,"patchTotal":null},"messages":[{"id":"117789","messageId":"14563.1247247807@relay.known.net","threadId":"20080","inReplyTo":null,"subject":"How can I tell if a tag has been pushed, or not?","fromName":"layer","fromEmail":"layer@known.net","sentAt":"2009-07-10T17:43:27Z","receivedAt":"2009-07-10T17:43:27Z","isPatch":false,"sender":{"key":"layer@known.net","avatar":null},"body":"Here's the problem:\n\nI expect that users, in their own private repos, will from time to\ntime create tags that should not be pushed.  Sometimes, tags that\nshould be pushed will be created.\n\nI could require that the \"public\" tags follow a specific convention\n(start with \"release\", or something).  Then, the scripts all my\ndevelopers use could use that and push only certain tags.  However,\nover time there could be a large number of them.  It seems undesirable\nto push each tag each time a push is done.  So, how can I tell if a\ntag has already been pushed?  Is there a way?\n\nThanks.\n"},{"id":"117792","messageId":"81b0412b0907101228t2cc55aa6g21d2a11ec9caa1c1@mail.gmail.com","threadId":"20080","inReplyTo":"14563.1247247807@relay.known.net","subject":"Re: How can I tell if a tag has been pushed, or not?","fromName":"Alex Riesen","fromEmail":"raa.lkml@gmail.com","sentAt":"2009-07-10T19:28:10Z","receivedAt":"2009-07-10T19:28:10Z","isPatch":false,"sender":{"key":"raa.lkml@gmail.com","avatar":"https://avatars.githubusercontent.com/u/324101?v=4"},"body":"On Fri, Jul 10, 2009 at 19:43, layer<layer@known.net> wrote:\n> Here's the problem:\n>\n> I expect that users, in their own private repos, will from time to\n> time create tags that should not be pushed.  Sometimes, tags that\n> should be pushed will be created.\n>\n> I could require that the \"public\" tags follow a specific convention\n> (start with \"release\", or something).  Then, the scripts all my\n> developers use could use that and push only certain tags.  However,\n> over time there could be a large number of them.  It seems undesirable\n> to push each tag each time a push is done.  So, how can I tell if a\n> tag has already been pushed?  Is there a way?\n\ngit push does not push any tags by default. You either have to\nspecify them explicitly or add --tags (all tags). Maybe that is enough?\n\nOtherwise, there is always git ls-remote 'tags/*'...\n"},{"id":"117794","messageId":"16198.1247256143@relay.known.net","threadId":"20080","inReplyTo":"81b0412b0907101228t2cc55aa6g21d2a11ec9caa1c1@mail.gmail.com","subject":"Re: How can I tell if a tag has been pushed, or not?","fromName":"layer","fromEmail":"layer@known.net","sentAt":"2009-07-10T20:02:23Z","receivedAt":"2009-07-10T20:02:23Z","isPatch":false,"sender":{"key":"layer@known.net","avatar":null},"body":"Alex Riesen <raa.lkml@gmail.com> wrote:\n\n>> On Fri, Jul 10, 2009 at 19:43, layer<layer@known.net> wrote:\n>> > Here's the problem:\n>> >\n>> > I expect that users, in their own private repos, will from time to\n>> > time create tags that should not be pushed.  Sometimes, tags that\n>> > should be pushed will be created.\n>> >\n>> > I could require that the \"public\" tags follow a specific convention\n>> > (start with \"release\", or something).  Then, the scripts all my\n>> > developers use could use that and push only certain tags.  However,\n>> > over time there could be a large number of them.  It seems undesirable\n>> > to push each tag each time a push is done.  So, how can I tell if a\n>> > tag has already been pushed?  Is there a way?\n>> \n>> git push does not push any tags by default. You either have to\n>> specify them explicitly or add --tags (all tags). Maybe that is enough?\n\nNo, I already knew about that.\n\n>> Otherwise, there is always git ls-remote 'tags/*'...\n\nThis is what I needed.  Thanks.\n"},{"id":"117827","messageId":"4A589755.2020600@op5.com","threadId":"20080","inReplyTo":"14563.1247247807@relay.known.net","subject":"Re: How can I tell if a tag has been pushed, or not?","fromName":"Andreas Ericsson","fromEmail":"exon@op5.com","sentAt":"2009-07-11T13:44:53Z","receivedAt":"2009-07-11T13:44:53Z","isPatch":false,"sender":{"key":"exon@op5.com","avatar":null},"body":"layer wrote:\n> Here's the problem:\n> \n> I expect that users, in their own private repos, will from time to\n> time create tags that should not be pushed.  Sometimes, tags that\n> should be pushed will be created.\n> \n> I could require that the \"public\" tags follow a specific convention\n> (start with \"release\", or something).  Then, the scripts all my\n> developers use could use that and push only certain tags.  However,\n> over time there could be a large number of them.  It seems undesirable\n> to push each tag each time a push is done.  So, how can I tell if a\n> tag has already been pushed?  Is there a way?\n> \n\nAt $dayjob we only allow annotated tags to be pushed. The default\nupdate hook works like a charm for that. All private tags are kept\nun-annotated and can therefore never be pushed by accident.\n\n/Andreas\n"}]}