Squelching the noisy travis per discussion in irc