{"push_id":830652198,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"be10378f5ddadaf72a61d4c4ec0a86dac41670c9","before":"38f1469b255f638907ce1cae5fe45369f2bd5bd9","commits":[{"sha":"be10378f5ddadaf72a61d4c4ec0a86dac41670c9","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@email.it","name":"Marco Gario"},"message":"Update README.rst\n\nUse Travis CI Badge of master branch","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/be10378f5ddadaf72a61d4c4ec0a86dac41670c9"}]}