Re: [PATCH 00/28] Use main as default branch name

From: Felipe Contreras <felipe.contreras@gmail.com>
Date: Nov 22, 2020, 21:56 UTC
Message-ID: <CAMP44s2eccgXTqFgHwv-ciUJ+v2PkHzHtCpA_+vQ9XZ1Kw6VUA@mail.gmail.com>
In-Reply-To: <87y2it8zfm.fsf@osv.gnss.ru>

On Sun, Nov 22, 2020 at 4:24 AM Sergey Organov <sorganov@gmail.com> wrote:

>
> Junio C Hamano <gitster@pobox.com> writes:

Show 11 quoted lines

> > The latter (i.e. you are not on a branch) does not grow any branch.
>
> That's one way of looking at it, resulting in this "detached HEAD"
> thingy that is too technical for the git user proper, I think. Moreover,
> it immediately raises the question: if it doesn't grow any branch, /what/
> does it grow?
>
> Another way of describing it, that I prefer, is that you /are/ on an
> /unnamed/ branch and new commits grow this particular /unnamed/ branch.
> No need not only for "detached", but even for "HEAD" to be known to the
> user to get the idea, I think.

This is precisely what it is conceptually.

And there's absolutely no need for the user to know what HEAD is behind the curtains, especially since they can just use @, and think of it as "the current branch".

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

Cheers.

-- 
Felipe Contreras