{"push_id":1540212328,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"833b5e6d76528bdd37777a535dd733f30f95ee2b","before":"8f0b3b0e4c2165dd66ddf40c95378294a793d9ae","commits":[{"sha":"833b5e6d76528bdd37777a535dd733f30f95ee2b","author":{"name":"Gereon Kremer","email":"392e0d22f610a34a8994aaa562856c318f57c83f@cs.rwth-aachen.de"},"message":"Made resources a bit more quiet.","distinct":true,"url":"https://api.github.com/repos/smtrat/carl/commits/833b5e6d76528bdd37777a535dd733f30f95ee2b"}]}
{"actor":{"display_login":"i2git"}}