shorter Travis IRC message