On 5/19/23 00:27, Melanie Plageman wrote:
> On Wed, May 17, 2023 at 6:35 PM Jehan-Guillaume de Rorthais
> <jgdr@dalibo.com> wrote:
>>
>> On Wed, 17 May 2023 13:46:35 -0400
>> Melanie Plageman <melanieplageman@gmail.com> wrote:
>>
>>> On Wed, May 17, 2023 at 07:10:08PM +0200, Jehan-Guillaume de Rorthais wrote:
>>>> On Tue, 16 May 2023 16:00:52 -0400
>>>> Melanie Plageman <melanieplageman@gmail.com> wrote:
>>>>> ...
>>>>> There are some existing indentation issues in these files, but you can
>>>>> leave those or put them in a separate commit.
>>>>
>>>> Reindented in v9.
>>>>
>>>> I put existing indentation issues in a separate commit to keep the actual
>>>> patches clean from distractions.
>>>
>>> It is a matter of opinion, but I tend to prefer the commit with the fix
>>> for the existing indentation issues to be first in the patch set.
>>
>> OK. moved in v10 patch set.
>
> v10 LGTM.
Thanks!
I've pushed 0002 and 0003, after some general bikeshedding and minor
rewording (a bit audacious, admittedly).
I didn't push 0001, I don't think generally do separate pgindent patches
like this (I only run pgindent on large patches to ensure it doesn't
cause massive breakage, not separately like this, but YMMV).
Anyway, that's it for PG16. Let's see if we can do more in this area for
PG17.
regards
--
Tomas Vondra
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company
