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

prevent push of irrelevant tags

From
RLRolf Leggewie <foss@rolf.leggewie.biz>
Date
Apr 12, 2012, 19:47 UTC
Message-ID
<4F873153.9060004@rolf.leggewie.biz>
Hello,

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? Well, in my case it was because I have more than one remote repo with non-overlapping tags and they cross-polluted each other. Another possibility that comes to mind is local tags for work-in-progress commits, for example.

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 would be nice if "git push --tags" did the right thing and excluded irrelevant tags when pushing. Thank you for your attention and thank you for git!

Regards
Rolf
Next: Junio C Hamano
Message 1 of 4 in “prevent push of irrelevant tags”
  1. Rolf LeggewieApr 12, 2012
  2. Junio C HamanoApr 12, 2012
  3. Rolf LeggewieApr 12, 2012
  4. Andreas SchwabApr 12, 2012

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.