Mute travis-ci's bot