{"push_id":1263453588,"size":1,"distinct_size":1,"ref":"refs/heads/travis/trusty","head":"d327ac9d353685b6f5da1c71e01ddd7f848060ef","before":"e40d396c5f5d92d1b5d20e13fc641eb7efcc9530","commits":[{"sha":"d327ac9d353685b6f5da1c71e01ddd7f848060ef","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"CI: Upgrade to Trusty","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/d327ac9d353685b6f5da1c71e01ddd7f848060ef"}]}
{"actor":{"display_login":"marcogario"}}