>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 _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
