On 2023-08-12 Sa 11:57, Andrew Dunstan wrote:
On 2023-08-11 Fr 19:17, Tom Lane wrote:
Peter Geoghegan<p...@bowt.ie> writes:
I'm starting to have doubts about this policy. There have now been
quite a few follow-up "fixes" to indentation issues that koel
complained about. None of these fixups have been included in
.git-blame-ignore-revs. If things continue like this then "git blame"
is bound to become much less usable over time.
FWIW, I'm much more optimistic than that. I think what we're seeing
is just the predictable result of not all committers having yet
incorporated "pgindent it before committing" into their workflow.
The need for followup fixes should diminish as people start doing
that. If you want to hurry things along, peer pressure on committers
who clearly aren't bothering is the solution.
Yeah, part of the point of creating koel was to give committers a bit
of a nudge in that direction.
With a git pre-commit hook it's pretty painless.
Based on recent experience, where a lot koel's recent complaints seem to
be about comments, I'd like to suggest a modest adjustment.
First, we should provide a mode of pgindent that doesn't reflow
comments. pg_bsd_indent has a flag for this (-nfcb), so this should be
relatively simple. Second, koel could use that mode, so that it
wouldn't complain about comments it thinks need to be reflowed. Of
course, we'd fix these up with our regular pgindent runs.
cheers
andrew
--
Andrew Dunstan
EDB: https://www.enterprisedb.com
