Bryan Davis, 30/04/2015 22:42:
My only $0.02 is that pushing bots to another channel
generally ends
up being functionally the same as muting the bots entirely unless
people setup watches on particular words to see pings from them.
And I'll point out that if you want to move bots then the easiest is to
move them back to #wikimedia-dev. :)
Nemo