On Mon, Jun 21, 2021 at 5:06 PM Tom Lane <tgl@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