{"push_id":1178894432,"size":1,"distinct_size":1,"ref":"refs/heads/clos-opt","head":"558c65e63f004e73a556186f3c1078ac99f99be1","before":"898035b95beeeaac4bc4ab5df8e88ef5034111ab","commits":[{"sha":"558c65e63f004e73a556186f3c1078ac99f99be1","author":{"name":"Magnus Myreen","email":"d7727ea369e90e55145bb81f56e9ba52cfecaaba@cl.cam.ac.uk"},"message":"Sketch proof of If case of clos_call","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/558c65e63f004e73a556186f3c1078ac99f99be1"}]}
{"actor":{"display_login":"myreen"}}