{"push_id":695547520,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6d9cc346aa53fd38529ef04ff49a122f18726ccd","before":"6d15165b9f969f96755b7d59da407811ccfa28d5","commits":[{"sha":"6d9cc346aa53fd38529ef04ff49a122f18726ccd","author":{"email":"364222e964262c52e05c3983813edd9d9a1f1c72@imperial.ac.uk","name":"Timotej Kapus"},"message":"fixed a parsing bug","distinct":true,"url":"https://api.github.com/repos/kren1/klee/commits/6d9cc346aa53fd38529ef04ff49a122f18726ccd"}]}