{"push_id":2883448929,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1880c57b33d464925ee468cae81c1bd27f6dd798","before":"d1a309034ebfda754bf98b6a418f6fb07e4cef54","commits":[{"sha":"1880c57b33d464925ee468cae81c1bd27f6dd798","author":{"name":"Gereon","email":"f1c3082c9def1c7cee43850c0310caee858f0e10@cs.rwth-aachen.de"},"message":"Ensure that the variables are in the proper order.","distinct":true,"url":"https://api.github.com/repos/smtrat/carl/commits/1880c57b33d464925ee468cae81c1bd27f6dd798"}]}
{"actor":{"display_login":"i2git"}}