{"push_id":1082088114,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f3e0c402b9b98d4e0ad9cbc8ccef6e1664207275","before":"9b0131b4a6072b224fec673af7f70b393bdaa100","commits":[{"sha":"f3e0c402b9b98d4e0ad9cbc8ccef6e1664207275","author":{"email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de","name":"Gereon Kremer"},"message":"fixing.","distinct":true,"url":"https://api.github.com/repos/smtrat/carl/commits/f3e0c402b9b98d4e0ad9cbc8ccef6e1664207275"}]}