Jelte Fennema <postgres@jeltef.nl> writes:
> Maybe I'm not understanding your issue correctly, but for such
> a case you could push two commits at the same time.
I don't know that much about git commit hooks, but do they really
only check the final state of a series of commits?
In any case, I'm still down on the idea of checking this in a
commit hook because of the complexity and lack of transparency
of such a check. If you think your commit is correctly indented,
but the hook (running on somebody else's machine) disagrees,
how are you going to debug that? I don't want to get into such
a situation, especially since Murphy's law guarantees that it
would mainly bite people under time pressure, like when pushing
a security fix.
regards, tom lane
