{"push_id":2595824392,"size":1,"distinct_size":1,"ref":"refs/heads/get-gcc-version","head":"c12656c99ca2e2714c2979e3510abc4598eda617","before":"0adf75b77a1547121a12dd46937c378a8f5d6584","commits":[{"sha":"c12656c99ca2e2714c2979e3510abc4598eda617","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"fx get version","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/c12656c99ca2e2714c2979e3510abc4598eda617"}]}
{"actor":{"display_login":"kroening"}}