{"push_id":929780629,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"cd847b364f333b14add15b24eaecc99c52c78e85","before":"10baa59865983c55e912287ac094948869ed4994","commits":[{"sha":"cd847b364f333b14add15b24eaecc99c52c78e85","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"couple of manual tests","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/cd847b364f333b14add15b24eaecc99c52c78e85"}]}