On Mon, Jun 15 2020, Johannes Schindelin via GitGitGadget wrote:
> From: Johannes Schindelin <johannes.schindelin@xxxxxx>
> +core.mainBranch::
> + The name of the main (or: primary) branch in the current repository.
> + For historical reasons, `master` is used as the fall-back for this
> + setting.
Everywhere else in git-config(1) we just say something to the effect of
the more brief:
The name of the main (or: primary) branch in the current repository
(`master` by default).
I think we should do the same here for consistency & ease of reading.
As you note at the start of this series we're not changing the default
yet, so referring to the current default as historical is putting the
cart before the horse as far as producing self-contained patch serieses
goes.
