Github user hanm commented on the issue:
https://github.com/apache/zookeeper/pull/623
The [job I triggered on Sep
14](https://builds.apache.org/job/PreCommit-ZOOKEEPER-github-pr-build/2168/)
actually succeeded. It's the github integration that's broken. I suspect it's
some permission issues around apache github mirror, I'll follow up with this as
it's annoying.
I think this issue is good to land. If no more comments, I'll commit it on
Friday.---
