Simon Riggs <[email protected]> writes:
> On 13 January 2016 at 14:48, Noah Misch <[email protected]> wrote:
>> I've noticed commits, from a few of you, carrying pgindent changes to lines
>> the patch would not otherwise change.
> Could we review again why this matters?
Basically this is trading off convenience of the committer (all of the
alternatives Noah mentions are somewhat annoying) versus the convenience
of post-commit reviewers. I'm not sure that his recommendation is the
best trade-off, nor that the situation is precisely comparable to
pre-commit review. There definitely will be pre-commit review, there
may or may not be any post-commit review.
I'm willing to go with the "separate commit to reindent individual files"
approach if there's a consensus that that makes for a cleaner git history.
But I'm not 100% convinced it matters.
regards, tom lane
