{"push_id":800826412,"size":1,"distinct_size":1,"ref":"refs/heads/semantic_refactoring","head":"9c71add5694a3d2a9818cbee823502a887464b12","before":"51982f9bb87e107398b3b34a2089423bc487a4e6","commits":[{"sha":"9c71add5694a3d2a9818cbee823502a887464b12","author":{"email":"28ee6d13aeff9b83dad27063b8ac6102494e7457@kent.ac.uk","name":"Scott Owens"},"message":"Remove all cheats from compile_top_correct","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/9c71add5694a3d2a9818cbee823502a887464b12"}]}