On 26 April 2014 13:45, John <phoenixoverride(a)gmail.com> wrote:
Correct, we migrated some of the bots, but left
wikibugs there. That was
the outcome of the previous discussions
False.
The outcome was that we would move bots from #mediawiki to #wikimedia-dev;
gerrit was moved immediately, but work to move wikibugs stalled
until Merlijn wrote a much more powerful clone from scratch, at which point
we killed the archaïc service.
J.
--
James D. Forrester
Product Manager, VisualEditor
Wikimedia Foundation, Inc.
jforrester(a)wikimedia.org | @jdforrester