Granted, Travis CI was sold to some private venture, and the first thing they did was fire most of their engineers.