erc: ban travis-ci bot