Hello! What's our policy on handling github pull requests? Somebody just opened one, and I redirected him to the "HowToContribute" page. If we are not accepting them, is there a way to disable it altogether?
https://github.com/apache/zookeeper/pulls Thanks! --Michi
