Hard to imagine the defense of keeping "master" instead of "main" in git repos due to "cost of change". We just watched two guys fly into space and a rocket *that landed itself onto a boat*. You can change your default git branch.

Has anybody requested that git allow configuring the default? (What was the reaction?) As I understand it, currently the name "master" is hardcoded in the C code for what happens when you create a new repository. Changing that default would would have a larger effect...