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...
But it does move! -- Galileo Galilei