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

Re: [PATCH] git-clone: fetch possibly detached HEAD over dumb http

From
SVSven Verdoolaege <skimo@kotnet.org>
Date
Jun 29, 2007, 08:11 UTC
Message-ID
<20070629081100.GA7969MdfPADPa@greensroom.kotnet.org>
In-Reply-To
<7vsl8bmxv9.fsf@assigned-by-dhcp.pobox.com>
On Thu, Jun 28, 2007 at 05:02:18PM -0700, Junio C Hamano wrote:
> You would want to do this extra fetch only in case (1).
> I think the additional fetch would fail in case (2), and result
> in removal of $GIT_DIR/REMOTE_HEAD.

You're right. It looks like I only tested it on symbolic link HEADs. Sorry about that. Will send a corrected patch later.

skimo
Previous: Junio C HamanoNext: Sven Verdoolaege
Message 3 of 9 in “git-clone: fetch possibly detached HEAD over dumb http”
  1. git-clone: fetch possibly detached HEAD over dumb httpSven Verdoolaege, Jun 28, 2007
  2. Junio C HamanoJun 29, 2007
  3. Sven VerdoolaegeJun 29, 2007
  4. git-clone: fetch possibly detached HEAD over dumb httpSven Verdoolaege, Jun 29, 2007
  5. Alex RiesenJun 30, 2007
  6. Sven VerdoolaegeJun 30, 2007
  7. Alex RiesenJun 30, 2007
  8. Junio C HamanoJul 1, 2007
  9. Alex RiesenJul 1, 2007

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.