Peter Eisentraut <peter@eisentraut.org> writes:
> For clarification: We already have a exclude_file_patterns that
> excludes many generated files. It just didn't exclude enough of them.
> Things were just forgotten. So this proposal is not introducing a new
> policy or requirement, it just fixes things so that the implementation
> of the current apparent policy is complete.
My point is exactly that that list hasn't been maintained, because
there was nothing to remind developers to do so. So I'm doubtful
that there can meaningfully be claimed to be a policy requiring it.
If we want to change that, then making CI bitch about non-ignored
files would be a good step, but it's incomplete unless the buildfarm
implementation enforces indent cleanliness the same way. IOW, what
I'm complaining about here is that what you want to do doesn't match
what koel does. They need to match.
regards, tom lane
