[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