commits: 8890fae315da9c002d41f6f3f9396fc72b7eed3f

This data as json

sha	message	author_date	committer_date	raw_author	raw_committer	repo	author	committer
8890fae315da9c002d41f6f3f9396fc72b7eed3f	Remove Travis-CI in favor of only using Azure Pipelines (#3072) * Remove Travis-CI in favor of only using Azure Pipelines Azure seems to be working pretty well, e.g., we now use it for test coverage with codecov. I don't see any particular reason to keep Travis around at this point. * update readme badges * Separate lint and type checking	2019-07-04T22:10:18Z	2019-07-04T22:10:18Z	f10b21bed2846b879806f87039b77245b18e7671	cd792325681cbad9f663f2879d8b69f1edbb678f	13221727	1217238	19864447