On Fri, Jul 11, 2014 at 2:49 PM, Antoine Musso <hashar+wmf(a)free.fr> wrote:
Le 11/07/2014 20:34, Matthew Flaschen a écrit :
According to <
https://github.com/wikimedia/mediawiki-core/settings/hooks> (may not be
visible to non-Wikimedians, sorry), the WebHook receiver <
http://tools.wmflabs.org/suchaserver/cgi-bin/receiver.py> 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.
I personally think that fixing up Merlijn's Gerrit patch uploader would
lead to a far superior developer experience.