On Mon, Jun 21, 2021 at 5:06 PM Tom Lane <t...@sss.pgh.pa.us> wrote: > Agreed. I think I'd previously suggested something under src/tools, > but we might as well do like others are doing; especially since > we have .gitattributes and the like there already.
Great. Attached is a patch file that puts it all together. I would like to commit this in the next couple of days. -- Peter Geoghegan
v1-0001-Add-list-of-ignorable-pgindent-commits-for-git-bl.patch
Description: Binary data
