js/init-defaultbranch-advice, was Re: What's cooking in git.git (Dec 2020, #01; Tue, 8)
From: Johannes Schindelin <hidden>
Date: 2020-12-09 14:13:51
From: Johannes Schindelin <hidden>
Date: 2020-12-09 14:13:51
Hi Junio, On Tue, 8 Dec 2020, Junio C Hamano wrote:
* js/init-defaultbranch-advice (2020-11-24) 4 commits - init: provide useful advice about init.defaultBranch - get_default_branch_name(): prepare for showing some advice - branch -m: allow renaming a yet-unborn branch - init: document `init.defaultBranch` better Our users are going to be trained to prepare for future change of init.defaultBranch configuration variable. Expecting a reroll. cf. [ref] I think a new advice.defaultBranchName is a bad idea.
Unfortunately, this objection is news to me. Why would it be anything but a legitimate interest to say "yeah, whatever, Git, just use the default branch name, I'm fine with it"? Ciao, Dscho