> On 4 Dec 2022, at 16:35, Tom Lane <t...@sss.pgh.pa.us> wrote: > > Sayyid Ali Sajjad Rizavi <sasriz...@gmail.com> writes: >> +**/.idea > > 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: --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,7 @@ +# This contains ignores for build artifacts from standard builds, +# auxiliary files from local workflows should be ignored locally +# with $GIT_DIR/info/exclude + > (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. -- Daniel Gustafsson https://vmware.com/
