Aggregating various arguments that apply generally to moving them out (as opposed to moving any specific bot):

(Quote bug 46282 comment #0)
> The only times I've found it useful is when I was live reviewing and wanted
> to point someone to a change/comment I made.

(Quote bug 46282 comment #1)
> Use /ignore in your favorite IRC client. Works well.

(Quote bug 46282 comment #2)
> I disagree with "it's completely useless", but in this case, when someone
> knows he is going to spam the channel and has op on #mediawiki, he should
> have quieted [the bot] before sending all those changes.

(Quote bug 46282 comment #6)
> We're going to move both. Need puppet changes.


(Quote bug 46144 comment 5)
> We actively had a user saying "This channel obviously isn't for support...two
> pages of scrollback and I've spotted 2 real people." This is a bad thing,
> contrary to what you may think.
> 
> We've had *contributors* complaining about the bot(s) for the past couple of
> months/years.
> 
> I really don't think two/three people saying "I LIKE THE BOT IN #MEDIAWIKI SO
> LEAVE IT THE HELL ALONE" trumps the wider problems here...that the bot
> *needs*
> to go.

(Quote bug 46144 comment 8)
> Lets take this the mailing list again...
> 
> (But my two cents)
> If we kick any single bot, Gerrit produces a-lot more cruft lately than
> wikibugs... I, as having pointed out would prefer them all in a separate
> channel that is moderated and only the bots are voiced.

(Quote bug 46144 comment 19)
> (Quote bug 46144 comment 18)
> > That's not a valid reason, imho. We need a way to tone down what it reports,
> > if
> > it's going to stay...the rate of bug reporting & commenting is many times
> > greater than it once was. It's definitely gotten noisier over the years,
> > which
> > has reduced its utility.
> 
> Reduced it's utility -> in the main support channel. The bot *is* useful, I
> just think it drowns out conversation these days.

(Quote bug 46144 comment 26)
> What about moving them to #wikimedia-dev instead of #mediawiki?
> 
> I think most (actively involved) developers that are on IRC aren't disturbed
> by
> the feed. If they really must they're experienced enough to not be afraid of
> a
> simple /ignore.
> 
> Though I speak only for myself, I believe those that do want the feed, would
> prefer it to be in context of regular conversation, not in a separate
> channel.
> 
> It's where random bits of interesting things come by from (e.g. discussing a
> change, proposing and and then someone does it or files a bug about it).
> 
> It doesn't work when in a separate channel.
> 
> See also #mediawiki-parsoid, #mediawiki-visualeditor, #wikimedia-operations,
> #wikimedia-mobile etc. (and same for third parties such as #jquery-dev and
> webkit).
> 
> The problem is mainly with #mediawiki being a support channel instead of dev
> channel, not with having notifications in a human-occupied irc channel in
> general.