{"push_id":971059624,"size":1,"distinct_size":1,"ref":"refs/heads/version1-k11","head":"758cecc8188348bad43a4170c4539f913c8bafff","before":"628c3713f0ac02c78ac417a5f3a998d1330d8167","commits":[{"sha":"758cecc8188348bad43a4170c4539f913c8bafff","author":{"email":"9ac2907b163c1922684cadd0b600a8d457468863@cl.cam.ac.uk","name":"Ramana Kumar"},"message":"update hol-light/stateless for new simp tactics","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/758cecc8188348bad43a4170c4539f913c8bafff"}]}