From: Junio C Hamano <gitster@pobox.com>
Date: Sun, 22 Nov 2020 23:54:28 GMT
Subject: Re: [PATCH 00/28] Use main as default branch name
Message-ID: <xmqq8satosln.fsf@gitster.c.googlers.com>
In-Reply-To: <CAMP44s2eccgXTqFgHwv-ciUJ+v2PkHzHtCpA_+vQ9XZ1Kw6VUA@mail.gmail.com>

Felipe Contreras <felipe.contreras@gmail.com> writes:

> It is clearly a branch, for example you can do "git push origin @:my-fix".

Hmm, you can also do "git push origin c2f3bf071e:maintenance", but
it does not make a bare object name a branch.  

At least I doubt the "clearly" part of your statement.  There might
be a better example to support the above claim, but this one is not.