{"push_id":1434769366,"size":2,"distinct_size":2,"ref":"refs/heads/dev","head":"a03f9c89f10367952c36220ef48314060f81ab5c","before":"1dc9f33f8dca473ddaec97ca35dbf642380c9fa5","commits":[{"sha":"700d7ea05cf48d5a5f407a7081efa7dcd5e873f7","author":{"name":"Alexander Nutz","email":"e1c0cfdeef01bc5dc0f9dcb7c39929e3dfdf2213@informatik.uni-freiburg.de"},"message":"some cleanup","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/700d7ea05cf48d5a5f407a7081efa7dcd5e873f7"},{"sha":"a03f9c89f10367952c36220ef48314060f81ab5c","author":{"name":"Alexander Nutz","email":"e1c0cfdeef01bc5dc0f9dcb7c39929e3dfdf2213@informatik.uni-freiburg.de"},"message":"towards a revised computation of the information in NewArrayIdProvider","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/a03f9c89f10367952c36220ef48314060f81ab5c"}]}
{"actor":{"display_login":"alexandernutz"}}