{"push_id":1110566313,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f81f878a7d84d9e0bf8b4af68b646570b21641b8","before":"50bfd6e9ecdc1a4fd80a4d7d2ab964a01deae607","commits":[{"sha":"f81f878a7d84d9e0bf8b4af68b646570b21641b8","author":{"email":"bc2a4d3db12d4be19a334ba871062e019f1a11c8@florians-mbp.fritz.box","name":"Florian Corzilius"},"message":"updated smt-comp description","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/f81f878a7d84d9e0bf8b4af68b646570b21641b8"}]}