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