{"push_id":2775393917,"size":1,"distinct_size":1,"ref":"refs/heads/remove-cheats","head":"2b0063276b62ce3f6d625612002174c89e988be9","before":"cd205113578056368673df757c3a56f5a76c4e64","commits":[{"sha":"2b0063276b62ce3f6d625612002174c89e988be9","author":{"name":"Oskar Abrahamsson","email":"e9b6a4cb71f50b511abeddae7bf95177d82faf6e@gmail.com"},"message":"Finish two proofs in clos_to_bvlProof","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/2b0063276b62ce3f6d625612002174c89e988be9"}]}
{"actor":{"display_login":"oskarabrahamsson"}}