Let's call it "Travis-CI", just to be clear that we're not talking about the person.