{"push_id":824323133,"size":2,"distinct_size":1,"ref":"refs/heads/master","head":"9387f5f0a69a941206c92a31ca8542376084635a","before":"47291e627474fe1fbc887021b9bee7eea6e19604","commits":[{"sha":"4c53bef4797128b1aaa87dfce04b925e97e7aa5a","author":{"email":"401bd629fff00cd029f70ffaa816cfeb73f9ea8b@gmail.com","name":"MikAnd"},"message":"Switched CI from shippable to travis","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/4c53bef4797128b1aaa87dfce04b925e97e7aa5a"},{"sha":"9387f5f0a69a941206c92a31ca8542376084635a","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@email.it","name":"Marco Gario"},"message":"Merge pull request #190 from pysmt/travis-test\n\nSwitched CI from shippable to travis","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/9387f5f0a69a941206c92a31ca8542376084635a"}]}