{"push_id":2428486490,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1f28d664d9e835ec26261dc36adf01cbacb0dbb7","before":"30a761dc5f796f2c798922b372b083a5e1311bc7","commits":[{"sha":"1f28d664d9e835ec26261dc36adf01cbacb0dbb7","author":{"name":"Gereon Kremer","email":"392e0d22f610a34a8994aaa562856c318f57c83f@rwth-aachen.de"},"message":"Another bunch of tidy issues.","distinct":true,"url":"https://api.github.com/repos/smtrat/carl/commits/1f28d664d9e835ec26261dc36adf01cbacb0dbb7"}]}
{"actor":{"display_login":"i2git"}}