On Mon, Apr 11, 2022 at 10:10:23PM +0200, Ævar Arnfjörð Bjarmason wrote: > > We could add configuration or whatever, but the topic of this thread is > whether we should change the *default*. I think it's better to stick to > that. I would have thought it was painfully obvious that changing the *default* is a ***terrible*** idea? Is anyone other than the OP seriously promoting changing the default? If someone wants to do something terrible to their own development workflow (or if it actually makes sense for their workflow) we could add some configuration, but if the question is changing the default, my ppersonal opinion is, "Heck, no!" - Ted
