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