{"push_id":2921313252,"size":1,"distinct_size":1,"ref":"refs/heads/java-struct-tag","head":"2b49b95fd28f951cf82a0a303cd832f3cfb43293","before":"29b4a077b060446d5b50fe06f2d8009c72994f23","commits":[{"sha":"2b49b95fd28f951cf82a0a303cd832f3cfb43293","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"java frontend: symbol_type -> struct_tag","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/2b49b95fd28f951cf82a0a303cd832f3cfb43293"}]}
{"actor":{"display_login":"kroening"}}