[pgpool-hackers: 2920] Re: Patch: Add .gitignore files

Bo Peng pengbo at sraoss.co.jp
Tue Aug 7 11:07:18 JST 2018

Thank you for your patch.
We will test this patch.

On Mon, 6 Aug 2018 09:56:18 -0400
Jesper Pedersen <jesper.pedersen at redhat.com> wrote:

> Hi,
> The attached patch adds .gitignore files for an environment that have 
> been built, and did a run of ./regress.sh
> Note, I added a *.patch exclude to the top-level files such that 
> contributions are filtered out.
> A question is if the repository should contain the generated files, as 
> I'm getting a lot of diffs in those due to a newer tool chain. However, 
> a discussion for another thread.
> BTW, the GitHub mirror seems to be lacking behind the official repository.
> Thanks for considering !
> Best regards,
>   Jesper

Bo Peng <pengbo at sraoss.co.jp>
SRA OSS, Inc. Japan

More information about the pgpool-hackers mailing list