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
