{"push_id":955269221,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"402a17e114661a58672d3f585e884272d8956e18","before":"b03ed0034fa3d655d3cf1e2b14068edd3e963c76","commits":[{"sha":"402a17e114661a58672d3f585e884272d8956e18","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"some preparations for bug hunting","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/402a17e114661a58672d3f585e884272d8956e18"}]}