{"push_id":2521806678,"size":1,"distinct_size":1,"ref":"refs/heads/remove-jbmc","head":"28a3190cb600b5e9a0dd1fec5e90eef0a9272d4f","before":"9c03c0a464430b0eb9863392f62d274c6fc7a8c7","commits":[{"sha":"28a3190cb600b5e9a0dd1fec5e90eef0a9272d4f","author":{"name":"Chris Ryder","email":"e83c3f87efa9323301df2bf5c5dc2b9caaba0525@diffblue.com"},"message":"Fixup CMake builds to remove usages of java_bytecode","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/28a3190cb600b5e9a0dd1fec5e90eef0a9272d4f"}]}
{"actor":{"display_login":"chrisr-diffblue"}}