{"push_id":693434200,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"02ba01a8675577116a4ea8d0fe732330ed8232de","before":"1d59130c8d5d69a65622a554c38f75334c0dd960","commits":[{"sha":"02ba01a8675577116a4ea8d0fe732330ed8232de","author":{"email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de","name":"Gereon Kremer"},"message":"Another fix like the previous.","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/02ba01a8675577116a4ea8d0fe732330ed8232de"}]}