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

  1. Avoid use of wildcard in pg_waldump's .gitignore.