fxn commented 3 days ago
There was a proposal about changing that flag in #4062 and the consensus is the pros of the default configuration outweigh the pros of the alternative.
Apparently GitHub's own admin isn't "pro" enough...
"Everything should be made as simple as possible, but not simpler." -- Albert Einstein