{"push_id":1081747004,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"2c62039f247586ce35e038f085e632b4d779ec31","before":"3773efc2e844072f6b493eba7477c9deaa09e21f","commits":[{"sha":"02ebf5ce0b6fc88ca7117fed390a5545257f6423","author":{"email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de","name":"Gereon Kremer"},"message":"Trying travis with apt addon instead of sudo.","distinct":true,"url":"https://api.github.com/repos/smtrat/carl/commits/02ebf5ce0b6fc88ca7117fed390a5545257f6423"},{"sha":"2c62039f247586ce35e038f085e632b4d779ec31","author":{"email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de","name":"Gereon Kremer"},"message":"Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/carl","distinct":true,"url":"https://api.github.com/repos/smtrat/carl/commits/2c62039f247586ce35e038f085e632b4d779ec31"}]}