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

Reply via email to