On Fri, 18 Apr 2014 10:21:43 +0200, Ori Livneh ori@wikimedia.org wrote:
Is there a way to accept pull-requests from GitHub? 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?
Oh, I think that's actually "backend" for Yuvi's bot (it was called "SuchABot").