On 04/18/2014 04:21 AM, Ori Livneh wrote:
Is there a way to accept pull-requests from GitHub?
I don't think we can merge directly there. The canonical repo is git.wikimedia.org, and I think merging in GitHub would create an inconsistent state.
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.
It'd be good if some additional people were watching (that is, receiving notifications for) https://github.com/wikimedia/mediawiki-core/.
I've watched it.
Matt Flaschen