Daniel Gustafsson <dan...@yesql.se> writes: >> On 4 Dec 2022, at 16:35, Tom Lane <t...@sss.pgh.pa.us> wrote: >> Our policy is that the in-tree .gitignore files should only hide >> files that are build artifacts of standard build processes. >> Something like this belongs in your personal ~/.gitexclude, >> instead.
> Since this comes up every now and again, I wonder if it's worth documenting > this in our .gitignore along the lines of: Good idea. >> (BTW, perhaps we should remove the entries targeting ".sl" >> extensions? AFAIK that was only for HP-UX, which is now >> desupported.) > +1. Grepping through the .gitignores in the tree didn't reveal anything else > that seemed to have outlived its usefulness. I'll make it so. Thanks for checking. regards, tom lane