I think that muting @discobot in your preferences would work. Not sure if it would have some unpleasant side effects, though.
I think that muting @discobot in your preferences would work. Not sure if it would have some unpleasant side effects, though.