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. -- Antoine "hashar" Musso _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l