On Fri, Jul 11, 2014 at 11:49 AM, Antoine Musso <hashar+...@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 _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l