{"push_id":1467766460,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5341e46fa80a4d0bf0955ad026ddbba74b62d0c5","before":"e63449177c7480935f31f7c504f34ccfc19bc713","commits":[{"sha":"5341e46fa80a4d0bf0955ad026ddbba74b62d0c5","author":{"name":"Gereon Kremer","email":"392e0d22f610a34a8994aaa562856c318f57c83f@cs.rwth-aachen.de"},"message":"Fixing Formula::collectVariable_ for PBConstraints.","distinct":true,"url":"https://api.github.com/repos/smtrat/carl/commits/5341e46fa80a4d0bf0955ad026ddbba74b62d0c5"}]}
{"actor":{"display_login":"i2git"}}