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> (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.
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