From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 17 Jun 2020 20:13:44 GMT
Subject: Re: Consensus on a new default branch name
Message-ID: <xmqqpn9xtpqf.fsf@gitster.c.googlers.com>
In-Reply-To: <20200616143202.GM666057@coredump.intra.peff.net>

Jeff King <peff@peff.net> writes:

> Thanks for writing this out (I'm still catching up on list email after a
> vacation, so I missed the earlier thread). It really cemented for me
> that "main" is better than "default".

In any case, it makes sense to use separate words for the concept
("default" --- as in "the name given to the first branch created in
the repository by default") and the actualy value chosen for the
entity (master or main in this case).  

The statement:

    I configure in ~/.gitconfig that the default branch name for all my
    repositories to be 'main'

is much easier to read than the last 'main' replaced with 'default'.