{"push_id":647300936,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"980a1a6694bde99e87379b865045bd8eeeb5773b","before":"7e1f5000831e6bde8ad50d0a162306c8f61cb300","commits":[{"sha":"0cb3350197d0581d71fe3324eb8c4893eeffac60","author":{"email":"9ac2907b163c1922684cadd0b600a8d457468863@cl.cam.ac.uk","name":"Ramana Kumar"},"message":"work towards evaluating x64_repl_implementation","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/0cb3350197d0581d71fe3324eb8c4893eeffac60"},{"sha":"980a1a6694bde99e87379b865045bd8eeeb5773b","author":{"email":"9ac2907b163c1922684cadd0b600a8d457468863@cl.cam.ac.uk","name":"Ramana Kumar"},"message":"extra version of some label theory\n\nrequired since chr_tag was forgotten in compute_compiler (that should be\nfixed, but didn't want to rebuild)","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/980a1a6694bde99e87379b865045bd8eeeb5773b"}]}