Re: BUG #16042: incorrect .gitignore file
Tom Lane <tgl@sss.pgh.pa.us>
From: Tom Lane <tgl@sss.pgh.pa.us>
To: Andres Freund <andres@anarazel.de>
Cc: stuchalin.d@gmail.com, pgsql-bugs@lists.postgresql.org
Date: 2019-10-05T16:48:04Z
Lists: pgsql-bugs
Andres Freund <andres@anarazel.de> writes: > On 2019-10-05 12:28:01 -0400, Tom Lane wrote: >> Yeah, somebody was being overly lazy there. I cleaned it up. > Seems like adding a !rmgrdesc.c pattern would have a been easier? I'm not terribly trusting of this sort of wildcard usage in .gitignore to begin with. It's way too easy to ignore something you shouldn't, as indeed this bug did. regards, tom lane
Commits
-
Avoid use of wildcard in pg_waldump's .gitignore.
- ea9c0e1c0deb 10.11 landed
- d82f3909da11 13.0 landed
- 4fd51980ed5a 11.6 landed
- 4f119e156e65 12.1 landed