git/list[1] front-page[2] threads[3] people[4] search[5] about
 

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

From
Llayer <layer@known.net>
Date
Jul 10, 2009, 17:43 UTC
Message-ID
<14563.1247247807@relay.known.net>
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?

Thanks.
Next: Alex Riesen
Message 1 of 4 in “How can I tell if a tag has been pushed, or not?”
  1. layerJul 10, 2009
  2. Alex RiesenJul 10, 2009
  3. layerJul 10, 2009
  4. Andreas EricssonJul 11, 2009

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.