On 26 April 2014 13:45, John phoenixoverride@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.