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...
Understanding is always the understanding of a smaller problem in relation to a bigger problem. -- P.D. Ouspensky