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...