[10:35:50] 10GitHub-Mirrors, 10Cleanup, 10Repository-Admins, 10Services (doing): Archive the RestBaseUpdateJobs extension - https://phabricator.wikimedia.org/T182561#3859562 (10Liuxinyu970226) ping @Mobrovac for confirmation [16:31:44] 10GitHub-Mirrors, 10Cleanup, 10Repository-Admins, 10Services (doing): Archive the RestBaseUpdateJobs extension - https://phabricator.wikimedia.org/T182561#3859824 (10mobrovac) It's indeed not used, hasn't been for a while now. +1 on removing it. [20:23:54] 10Phabricator, 10VPS-project-codesearch: Consider adding a way to query https://codesearch.wmflabs.org/search/ from phabricator. - https://phabricator.wikimedia.org/T183608#3860034 (10Legoktm) codesearch does provide an API, but I'm not sure how this would work in practice, since production machines are unabl... [20:25:13] 10Phabricator, 10VPS-project-codesearch: Consider adding a way to query https://codesearch.wmflabs.org/search/ from phabricator. - https://phabricator.wikimedia.org/T183608#3860035 (10mmodell) @legoktm: Ah good point. Maybe (some day in a future fantasy world) we could bring codesearch into production? [20:53:36] 10Phabricator, 10VPS-project-codesearch: Consider adding a way to query https://codesearch.wmflabs.org/search/ from phabricator. - https://phabricator.wikimedia.org/T183608#3860041 (10Legoktm) I'm open to that, but I think it would require re-evaluating the implementation strategy, since the current one is re... [23:01:38] 10Wikibugs, 10Africa-Wikimedia-Developers, 10MediaWiki-extensions-SendGrid, 10Patch-For-Review: Push Gerrit changes (notifications) to #wiki-dev-africa for some extension - https://phabricator.wikimedia.org/T183573#3860079 (10D3r1ck01) This is working and wikibugs pushes notifications to #wiki-dev-africa.... [23:02:33] 10Wikibugs, 10Africa-Wikimedia-Developers, 10MediaWiki-extensions-SendGrid, 10Patch-For-Review: Push Gerrit changes (notifications) to #wiki-dev-africa for some extension - https://phabricator.wikimedia.org/T183573#3860081 (10D3r1ck01) 05Open>03Resolved