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

From: Frans Klaver <fransklaver@gmail.com>
Date: Nov 23, 2011, 15:47 UTC
Message-ID: <CAH6sp9OXzHj=r707zyRQxaJmndHm5_DcWWMLn_1zyLdEZ_TSbA@mail.gmail.com>
In-Reply-To: <CAHVLzc=SPD+AHhAPP_=mEVv5cJvn0oiJ_k-KBEkG=Qhcw2UxHA@mail.gmail.com>

On Wed, Nov 23, 2011 at 2:44 PM, Paolo Ciarrocchi <paolo.ciarrocchi@gmail.com> wrote:

Show 13 quoted lines

> On Tue, Nov 22, 2011 at 8:41 PM, Junio C Hamano <gitster@pobox.com> wrote:
>> 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.
>
> But that's the only repo mentioned in the git-scm home page.

The note from the maintainer[1] mentions

	git://git.kernel.org/pub/scm/git/git.git/
	git://repo.or.cz/alt-git.git
	https://github.com/git/git
	https://code.google.com/p/git-core/

I would assume one of those would be a nomination for 'official' repo.

Maybe something for Scott C. to address?

Cheers, Frans

[1] http://article.gmane.org/gmane.comp.version-control.git/184174