Github user hanm commented on the issue:
https://github.com/apache/zookeeper/pull/361
Looks like a transient error, you can try retrigger Jenkins job by closing
and reopening the pull request, or just generate a new commit hash (git commit
--amend) and force push to remote.---
