Mute travis bot now that Not-f47f is back