Re: [PATCH] Add .idea to gitignore for JetBrains CLion

Daniel Gustafsson <daniel@yesql.se> writes:
>> On 4 Dec 2022, at 16:35, Tom Lane <tgl@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