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

Potential bug in git client

From
WPWojciech Przybył <przybylwojciech@gmail.com>
Date
Jun 11, 2014, 10:21 UTC
Message-ID
<CAKY5LXywixV3dWcCcVPTvyFrScJjLd8eoVs=RA1VRcrzUgtThQ@mail.gmail.com>
Hi All
When I was tagging, I think I might have discovered a git client bug.
HOW TO REPRODUCE:
- Clone a repo into 2 separate directories. Presume there is a tag
"v0.1" already in there and it is set on say 10 commits ago.
- In first directory change the tag to a different place and push it
to the server:
git tag -d v0.1
git tag v0.1
git push --tags origin master
- In second directory try to update the tag...
git pull --all --tags
git fetch -all --tags
THIS DOES NOT WORK, tag is still at old place, but it says "Already up-to-date".
- I noticed when I use:
git fetch --tags
it works fine and updates the position of the tag, or if I remove tag
from local git manually (rm .git/refs/tags/v0.1) and update again.
Is it a bug or I am doing something wrong? I use git version 1.7.9.5.

Cheers Wojciech

Next: Stefan Beller
Message 1 of 5 in “Potential bug in git client”
  1. Wojciech PrzybyłJun 11, 2014
  2. Stefan BellerJun 11, 2014
  3. Wojciech PrzybyłJun 11, 2014
  4. Michael HaggertyJun 17, 2014
  5. Wojciech PrzybyłJun 17, 2014

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.