{"push_id":693196565,"size":1,"distinct_size":1,"ref":"refs/heads/new_compiler","head":"c1ec8b1104d6d48c6e3b2b59ce7131c0a5cb91b8","before":"e28f5e8200a7daa80b2c846d49f07e13d699b369","commits":[{"sha":"c1ec8b1104d6d48c6e3b2b59ce7131c0a5cb91b8","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"start work on cleaning up clos_to_bvlProofTheory","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/c1ec8b1104d6d48c6e3b2b59ce7131c0a5cb91b8"}]}