On Tue, 17 Oct 2023 at 16:23, Tom Lane <t...@sss.pgh.pa.us> wrote: > > Or we could have a server-side hook that will refuse > > the misindented commit, with some kind of override for emergency > > situations. > > Even though I'm in the camp that would like the tree correctly > indented at all times, I remain very much against a commit hook. > I think that'd be significantly more annoying than the current > situation, which you're already unhappy about the annoying-ness of.
Why do you think that would be significantly more annoying than the current situation? Instead of getting delayed feedback you get instant feedback when you push.
