Sayyid Ali Sajjad Rizavi <sasrizavi@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.
(BTW, perhaps we should remove the entries targeting ".sl"
extensions? AFAIK that was only for HP-UX, which is now
desupported.)
regards, tom lane
