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

2022-12-04 Thread Tom Lane
Daniel Gustafsson writes: >> On 4 Dec 2022, at 16:35, Tom Lane 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 u

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

2022-12-04 Thread Daniel Gustafsson
> On 4 Dec 2022, at 16:35, Tom Lane wrote: > > Sayyid Ali Sajjad Rizavi 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

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

2022-12-04 Thread Tom Lane
Sayyid Ali Sajjad Rizavi 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

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

2022-12-04 Thread Sayyid Ali Sajjad Rizavi
I searched the commit fest app and there's already someone who has made this. On Sun, Dec 4, 2022 at 7:28 AM Sayyid Ali Sajjad Rizavi wrote: > From 6d10dafdd7c7789eddd7fd72ca22dfde74febe23 Mon Sep 17 00:00:00 2001 > From: Ali Sajjad > Date: Sun, 4 Dec 2022 06:03:11 -0800 > Subject: [PATCH] Add