{"push_id":2018951664,"size":2,"distinct_size":2,"ref":"refs/heads/revert/revert/feature/TG-374/java-support-generics","head":"b08c51ce49a9dc7adef9568ab90dc7a16927e14b","before":"24a472b5a922f696ea535085b8c697164cf71f64","commits":[{"sha":"0c93cf6210ab29757336ef0457be9506bf814da9","author":{"name":"Thomas Kiley","email":"ac59214222b6391ec42e755da22dbe4ffccb8799@diffblue.com"},"message":"Created utility function for loading a class file\n\nTo catch mistakes where the working directory is wrongly set verify that\nthe class has been loaded.","distinct":true,"url":"https://api.github.com/repos/thk123/cbmc/commits/0c93cf6210ab29757336ef0457be9506bf814da9"},{"sha":"b08c51ce49a9dc7adef9568ab90dc7a16927e14b","author":{"name":"Thomas Kiley","email":"ac59214222b6391ec42e755da22dbe4ffccb8799@diffblue.com"},"message":"Adding tests for generic functions","distinct":true,"url":"https://api.github.com/repos/thk123/cbmc/commits/b08c51ce49a9dc7adef9568ab90dc7a16927e14b"}]}
{"actor":{"display_login":"thk123"}}