{"push_id":2749193384,"size":1,"distinct_size":1,"ref":"refs/heads/jd/bugfix/java_annotation_array_fix","head":"8a8ded5d8d1831d1d32c1aaa7667e02d3974c282","before":"f4b95826765ee94aadcb5d3bc00cfbc5613ca922","commits":[{"sha":"8a8ded5d8d1831d1d32c1aaa7667e02d3974c282","author":{"name":"johndumbell","email":"9ddd81dcd62f63c8a8070dc60352097efe9fe1bf@diffblue.com"},"message":"Parse java arrays in annotations properly\n\nPreviously the value from the arrays was being parsed correctly but into an object which was then immediately thrown away, so the value was never really used.","distinct":true,"url":"https://api.github.com/repos/JohnDumbell/cbmc/commits/8a8ded5d8d1831d1d32c1aaa7667e02d3974c282"}]}
{"actor":{"display_login":"JohnDumbell"}}