{"push_id":821898221,"size":1,"distinct_size":1,"ref":"refs/heads/rc0.4.2","head":"eb1568e316e6dbda6c2f5fe1eae79026d1550a13","before":"6abf5972e7ae101e9b523d496071e975204a8c34","commits":[{"sha":"eb1568e316e6dbda6c2f5fe1eae79026d1550a13","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"Drafted CHANGES.rst (it was awfully out-dated).","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/eb1568e316e6dbda6c2f5fe1eae79026d1550a13"}]}