{"push_id":1062058794,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"facd7dbce06e59c651b81e695ba96749ebb78b95","before":"31f3a976ed10dc32b96f6082fb1805561dcccc8d","commits":[{"sha":"facd7dbce06e59c651b81e695ba96749ebb78b95","author":{"email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk","name":"Daniel Kroening"},"message":"cleanup java bytecode frontend","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/facd7dbce06e59c651b81e695ba96749ebb78b95"}]}