{"push_id":2858465720,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"daf3fb0aed102f6aceb8fe3e47bee9a23749d77b","before":"d68260a322d9d36914d95d63756ef1d5baaefcfd","commits":[{"sha":"daf3fb0aed102f6aceb8fe3e47bee9a23749d77b","author":{"name":"Gereon","email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de"},"message":"Explicitly specify inports in travis_helper.py","distinct":true,"url":"https://api.github.com/repos/smtrat/carl/commits/daf3fb0aed102f6aceb8fe3e47bee9a23749d77b"}]}
{"actor":{"display_login":"i2git"}}