btb wrote:
i'm hopeful this is the appropriate venue for this topic - i recently had occasion to visit #mediawiki on freenode, looking for help. i found myself a bit frustrated by the amount of bot activity there
Indeed. Made discussion very hard to follow and I end up doing private message to people asking for support or talking to #wikimedia-dev :-(
Gerrit change https://gerrit.wikimedia.org/r/12388 would move Gerrit bot and Wikibugs to #mediawiki-feed