That was also a troll/spam bot that had no affiliation to Travis CI. Their GitHub integration has always been classy.