From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 01 Jun 2018 01:32:12 GMT
Subject: Re: Is origin/HEAD only being created on clone a bug? #leftoverbits
Message-ID: <xmqqd0xbb8bn.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <87bmcw9sqc.fsf@evledraar.gmail.com>

Ævar Arnfjörð Bjarmason <avarab@gmail.com> writes:

> We already have to deal with this special case of origin/HEAD
> being re-pointed in a repository that we "clone", so we would just
> do whatever happens to a repository that's cloned.

OK.  Not visiting that issue while we discuss this "origin/HEAD is
useful, so create it even for non-initial-clone case" topic makes it
simpler to discuss.