{"push_id":2094793842,"size":3,"distinct_size":3,"ref":"refs/heads/develop","head":"b25630a10870b9846ad9686df17b0221098fae76","before":"ccdd483fb7972f13a12cb430e3faf3ba65262ace","commits":[{"sha":"db758fb1f6a02170069537894b94392297395209","author":{"name":"Chris Ryder","email":"f209ab8a9c2d3cbeffa93755e2d167a6c6c83336@diffblue.com"},"message":"Add some unit test helper functions, useful for Java generics unit tests","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/db758fb1f6a02170069537894b94392297395209"},{"sha":"0507355bd70438ff3d3656d81b1e8516e8af24d1","author":{"name":"Chris Ryder","email":"f209ab8a9c2d3cbeffa93755e2d167a6c6c83336@diffblue.com"},"message":"Refactored unit test helpers to be more general and extend their use-cases","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/0507355bd70438ff3d3656d81b1e8516e8af24d1"},{"sha":"b25630a10870b9846ad9686df17b0221098fae76","author":{"name":"Thomas Kiley","email":"ac59214222b6391ec42e755da22dbe4ffccb8799@diffblue.com"},"message":"Merge pull request #1550 from chrisr-diffblue/cleanup/java-generics-test-helpers\n\nAdd some unit test helper functions, useful for Java generics unit tests","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/b25630a10870b9846ad9686df17b0221098fae76"}]}
{"actor":{"display_login":"thk123"}}