On Thu, Mar 18, 2021 at 07:05:03PM -0400, Tom Lane wrote: > Other points: the file should be kept in src/tools/pgindent/, and > it should definitely NOT have a name beginning with ".".
Well, if we want github and others to eventually honor a file, it seems .git-blame-ignore-revs at the top of the tree is the common location for this. Of course, I don't know if they will ever do that, and can move it later if needed. -- Bruce Momjian <br...@momjian.us> https://momjian.us EDB https://enterprisedb.com If only the physical world exists, free will is an illusion.
