Do not notify #travis IRC channel

Probably you don't need to.