Github user nkalmar commented on the issue:
https://github.com/apache/zookeeper/pull/574
@anmolnar I did an amend commit, it doesn't seem to trigger the build. I
also did a normal commit yesterday on my other PR, which also didn't trigger
the build. Strange. Maybe I'll closing and re-opening the PR---
