{"push_id":2129337298,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2b2e5d5117073e484c4ea58433b1ad2c085062b2","before":"568397f9d895bc13b4438330dacb621a729ed4d6","commits":[{"sha":"2b2e5d5117073e484c4ea58433b1ad2c085062b2","author":{"name":"Gereon Kremer","email":"392e0d22f610a34a8994aaa562856c318f57c83f@rwth-aachen.de"},"message":"Refactoring CoCoA tests.","distinct":true,"url":"https://api.github.com/repos/smtrat/carl/commits/2b2e5d5117073e484c4ea58433b1ad2c085062b2"}]}
{"actor":{"display_login":"i2git"}}