On Fri, Jul 11, 2014 at 11:49 AM, Antoine Musso <hashar+wmf(a)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