On Fri, Jul 11, 2014 at 11:49 AM, Antoine Musso hashar+wmf@free.fr wrote:
What would be nice: disable pull requests on Github.
If not supported, have a bot detecting such pull requests and autoclose them with instructions about how to create an account on labs and push a change.
Not possible to disable.
-Chad