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

Re: [PATCH] Teach git push .git/branches shorthand

From
Johannes Schindelin <johannes.schindelin@gmx.de>
Date
Aug 8, 2005, 09:10 UTC
Message-ID
<Pine.LNX.4.63.0508081106580.26210@wgmdd8.biozentrum.uni-wuerzburg.de>
In-Reply-To
<7viryhgdo5.fsf@assigned-by-dhcp.cox.net>
Hi,
On Sun, 7 Aug 2005, Junio C Hamano wrote:
> I hear a lot of people mention $GIT_DIR/branches/ is confusing.
> Maybe we should rename it to $GIT_DIR/remote/ directory?

I'd prefer $GIT_DIR/remotes/. And I propose another extension: Since the files stored therein right now contain only one <remote> string, it should be possible to add the default head(s) to the file.

Ciao, Dscho

Previous: Junio C HamanoNext: Josef Weidendorfer
Message 2 of 11 in “Teach git push .git/branches shorthand”
  1. Teach git push .git/branches shorthandJunio C Hamano, Aug 8, 2005
  2. Johannes SchindelinAug 8, 2005
  3. Josef WeidendorferAug 8, 2005
  4. Johannes SchindelinAug 8, 2005
  5. Josef WeidendorferAug 8, 2005
  6. Johannes SchindelinAug 8, 2005
  7. Josef WeidendorferAug 8, 2005
  8. Junio C HamanoAug 9, 2005
  9. Matthias UrlichsAug 11, 2005
  10. Darrin ThompsonAug 9, 2005
  11. Junio C HamanoAug 9, 2005

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.