Le 11/07/2014 20:34, Matthew Flaschen a écrit :
According to < https://github.com/wikimedia/mediawiki-core/settings/hooks%3E (may not be visible to non-Wikimedians, sorry), the WebHook receiver < http://tools.wmflabs.org/suchaserver/cgi-bin/receiver.py%3E is defunct. Anyone know the story there?
It would be good to get this bot (which uploads things to Gerrit) up and running again. I'm not sure what the current status is.
There is a manual tool at:
https://tools.wmflabs.org/gerrit-patch-uploader/ https://gerrit.wikimedia.org/r/#/q/owner:gerritpatchuploader,n,z
Krenair manually warned some folks on Github about having to send the patches to Gerrit.
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.