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