{"push_id":588286469,"size":1,"distinct_size":1,"ref":"refs/heads/x64_repl","head":"2277a4b4620ad0a43d148a6c2c47bac03642e86a","before":"71f765354a970b349abe54c465ab20a049625e26","commits":[{"sha":"2277a4b4620ad0a43d148a6c2c47bac03642e86a","author":{"email":"7cb4acede6a8d5e8f6e900e4a5c0806ffd147e70@cl.cam.ac.uk","name":"Magnus Myreen"},"message":"only one cheat left (it's a bignum cheat)","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/2277a4b4620ad0a43d148a6c2c47bac03642e86a"}]}