{"push_id":2428638275,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"020471ff5ad98631a39f90010c4c065b6993024b","before":"1f28d664d9e835ec26261dc36adf01cbacb0dbb7","commits":[{"sha":"020471ff5ad98631a39f90010c4c065b6993024b","author":{"name":"Gereon Kremer","email":"392e0d22f610a34a8994aaa562856c318f57c83f@rwth-aachen.de"},"message":"Moved sosDecomposition to separate file.","distinct":true,"url":"https://api.github.com/repos/smtrat/carl/commits/020471ff5ad98631a39f90010c4c065b6993024b"}]}
{"actor":{"display_login":"i2git"}}