On 26 April 2014 13:45, John <phoenixoverr...@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. jforres...@wikimedia.org | @jdforrester _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l