Re: Git repo problem?

> That sounds a lot like the bug that Stephen bumped into during pgcon, and
> that we haven't fully tracked down yet. It only makes the commit email
> break, everything else should work as usual, so it's not that bad, but it
> should be fixed of course.
> 
> Did that push by any chance include a merge commit? That's our current
> theory on what's triggering the problem...

Yes. I pushed:
https://git.postgresql.org/gitweb/?p=pgpool2.git;a=commit;h=b9ee8417ea74798c108498849d453e693246c3a1
and
https://git.postgresql.org/gitweb/?p=pgpool2.git;a=commit;h=d1a2e366afeee87493db3463baa6660f9671e5d6

The latter is a merge commit.
--
Tatsuo Ishii
SRA OSS, Inc. Japan
English: http://www.sraoss.co.jp/index_en.php
Japanese:http://www.sraoss.co.jp