{"push_id":1145621314,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1f6cd12b0c179f81dd00f30344ad9cddd07455a6","before":"05a15327453397e11ca23325ee319c8dcbb79290","commits":[{"sha":"1f6cd12b0c179f81dd00f30344ad9cddd07455a6","author":{"name":"tdeshu","email":"2b7b07c6baa7ff07b47c2f4e29c71e1527262770@knights.ucf.edu"},"message":"removed unused files and added syntax highlighting","distinct":true,"url":"https://api.github.com/repos/OpenJML/try-openjml/commits/1f6cd12b0c179f81dd00f30344ad9cddd07455a6"}]}
{"actor":{"display_login":"tdeshu"}}