Github user hanm commented on the issue:
https://github.com/apache/zookeeper/pull/633
I think github web interface does not support `--follow` at the moment,
unfortunately, but there is a chrome extension that seems working
https://chrome.google.com/webstore/detail/follow-for-github/agalokjhnhheienloigiaoohgmjdpned
In any case, as long as the history is preserved in git we should be fine -
just a little bit inconvenient to look it up on github...---
