Magnus Hagander <mag...@hagander.net> writes:
> On Sat, Apr 22, 2023 at 1:42 PM Andrew Dunstan <and...@dunslane.net> wrote:
>> For 2 the upstream thread listed two approaches:
>> a. Install a pre-receive git hook on the git server that rejects
>> pushes to master that are not indented
>> b. Add a test suite that checks if the code is correctly indented, so
>> the build farm would complain about it. (Suggested by Peter E)
>>
>> I think both a and b would work to achieve 2. But as Peter E said, b
>> indeed sounds like less of a divergence of the status quo. So my vote
>> would be for b.
I am absolutely against a pre-receive hook on gitmaster. A buildfarm
check seems far more appropriate.
regards, tom lane
