From: Paolo Ciarrocchi <paolo.ciarrocchi@gmail.com>
Date: Wed, 23 Nov 2011 13:44:30 GMT
Subject: Re: Git ticket / issue tracking ERA: Git shouldn't allow to push a new branch called HEAD
Message-ID: <CAHVLzc=SPD+AHhAPP_=mEVv5cJvn0oiJ_k-KBEkG=Qhcw2UxHA@mail.gmail.com>
In-Reply-To: <7vd3ckdjx9.fsf@alter.siamese.dyndns.org>

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.

Regards,
   Paolo