Michael Paquier <michael@paquier.xyz> writes:
> On Wed, Feb 08, 2023 at 09:56:44AM -0600, Justin Pryzby wrote:
>> Some more accumulated/new typos.
> 0005 can indeed fix a lot of confusion around the spaces after an
> "else if" block. Is that something that could be automated with the
> indentation, though? Same remark for 0009 and 0010.
I see your point about 0005, but I've never seen pgindent remove
vertical whitespace once it's been added. Not sure what it'd take
to teach it to do so, or whether we'd like the results.
I'd reject 0009 and 0010 altogether --- they don't add any readability
that's worth the potential increase in back-patch problems.
regards, tom lane