Github user hanm commented on the issue:
https://github.com/apache/zookeeper/pull/573
I manually triggered a build and it's green now
https://builds.apache.org/job/PreCommit-ZOOKEEPER-github-pr-build/2122/
Github integration still broken for this PR for some reasons. This has been
reported before, but i don't know why it's broken.
I am committing this as it's pretty obvious and reviewed by multiple folks
already.---
