{"push_id":848411344,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8733875dfc1f1fd0e2af57054c1d9d4c06f96571","before":"20d967b2121d486664b3b78e2712eee86fb97580","commits":[{"sha":"8733875dfc1f1fd0e2af57054c1d9d4c06f96571","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"added Ultimate Kojak as tool","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/benchexec/commits/8733875dfc1f1fd0e2af57054c1d9d4c06f96571"}]}