In my experience, the bots in the channel are an important part of our workflow -- new bug reports, bug updates, and patches in gerrit. When I'm discussing things in #wikimedia-dev I usually end up having to manually add references to something that a bot already sent to #mediawiki, which is one of the reasons I've always preferred using #mediawiki.
Please don't make yet another split-off channel; that'll be annoying and make things more complicated for little if any benefit.
Wait... Why don't we just move the more verbose bots to #wikimedia-dev. If we already have a #wikimedia-dev channel, why don't we use that for the dev related discussions and #wikimedia for support? If #wikimedia were only used for support and #wikimedia-dev for development there would be no reason to have the bug report bots in #wikimedia right?
Or am I missing something?
Thank you, Derric Atzrott