{"push_id":816942145,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"30415b7c7adf4dfcec3d918ded3a1ee8269c69b1","before":"1ef4a035d1e61bb79d1ba04bf21cdbac03d90fba","commits":[{"sha":"30415b7c7adf4dfcec3d918ded3a1ee8269c69b1","author":{"email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de","name":"Gereon Kremer"},"message":"Fixing hash character.","distinct":true,"url":"https://api.github.com/repos/smtrat/carl/commits/30415b7c7adf4dfcec3d918ded3a1ee8269c69b1"}]}