On Thu, Oct 27, 2022 at 10:32:30PM -0700, Junio C Hamano wrote: > Ævar Arnfjörð Bjarmason <avarab@xxxxxxxxx> writes: > > > First, for the purposes of this thread I think Jeff and I are far off > > into the weeds here :) > > It is good to clearly separate where we would want to draw the line > for this round, to get the already-worked-on-and-immediately-available > improvement going, while we envision a future direction for the longer > term. Yeah, to be clear, I'm OK with your linting script in the near term. I didn't look at it _too_ carefully, but if the linter passes, then I think the proof is in the pudding, and we can consider the topic done for now. -Peff