From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 22 Nov 2011 19:41:22 GMT
Subject: Re: Git ticket / issue tracking ERA: Git shouldn't allow to push a new branch called HEAD
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.