Github user lvfangmin commented on the issue:
https://github.com/apache/zookeeper/pull/612
Thanks @hanm @anmolnar, I like the "Rebuild" button, it's more convenient
than check out the branch (maybe you're working on other branch and need to
stash), do amend, and force push. ---
