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

Re: Git ticket / issue tracking ERA: Git shouldn't allow to push a new branch called HEAD

From
Junio C Hamano <gitster@pobox.com>
Date
Nov 22, 2011, 19:41 UTC
Message-ID
<7vd3ckdjx9.fsf@alter.siamese.dyndns.org>
In-Reply-To
<1321970646.3289.19.camel@mastroc3.mobc3.local>
Daniele Segato <daniele.bilug@gmail.com> writes:
> [1] according to http://git-scm.com/ the link on "Git source repository"
> is https://github.com/gitster/git

That one is as official as anybody's "git clone" from many of the distribution points.

I do not see any reason to name an official repository, but if I were pressed, that copy at github is not the one I would nominate.

Previous: Daniele SegatoNext: Paolo Ciarrocchi
Message 2 of 8 in “Git ticket / issue tracking ERA: Git shouldn't allow to push a new branch called HEAD”
  1. Daniele SegatoNov 22, 2011
  2. Junio C HamanoNov 22, 2011
  3. Paolo CiarrocchiNov 23, 2011
  4. Frans KlaverNov 23, 2011
  5. Junio C HamanoNov 23, 2011
  6. Frans KlaverNov 23, 2011
  7. Daniele SegatoNov 22, 2011
  8. Junio C HamanoNov 22, 2011

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.