On Fri, 11 Aug 2023 at 23:00, Peter Geoghegan <p...@bowt.ie> wrote: > I'm starting to have doubts about this policy. There have now been > quite a few follow-up "fixes" to indentation issues that koel > complained about.
I think one thing that would help a lot in reducing the is for committers to set up the local git commit hook that's on the wiki: https://wiki.postgresql.org/wiki/Working_with_Git That one fails the commit if there's wrongly indented files in the commit. And if you still want to opt out for whatever reason you can use git commit --no-verify
