{"push_id":1440716285,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"26c4c96449c71a18474501ea6ae823b5a03fa675","before":"414799269bc8dfda472b2982a229eb022c9fc0ea","commits":[{"sha":"26c4c96449c71a18474501ea6ae823b5a03fa675","author":{"name":"Alexander Nutz","email":"e1c0cfdeef01bc5dc0f9dcb7c39929e3dfdf2213@informatik.uni-freiburg.de"},"message":"minor changes","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/26c4c96449c71a18474501ea6ae823b5a03fa675"}]}
{"actor":{"display_login":"alexandernutz"}}