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
ject: [PATCH] Add .idea to gitignore for JetBrains CLion > > --- > .gitignore | 1 + > 1 file changed, 1 insertion(+) > > diff --git a/.gitignore b/.gitignore > index 1c0f3e5e35..7118b90f25 100644 > --- a/.gitignore > +++ b/.gitignore > @@ -31,6 +31,7 @@ win32ver.rc

[PATCH] Add .idea to gitignore for JetBrains CLion

2022-12-04 Thread Sayyid Ali Sajjad Rizavi
>From 6d10dafdd7c7789eddd7fd72ca22dfde74febe23 Mon Sep 17 00:00:00 2001 From: Ali Sajjad Date: Sun, 4 Dec 2022 06:03:11 -0800 Subject: [PATCH] Add .idea to gitignore for JetBrains CLion --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 1c0f3e5