{"push_id":651704827,"size":2,"distinct_size":2,"ref":"refs/heads/new_compiler","head":"2504ffa4663e79d3592e2c3748f95fad85ccebc3","before":"e8c694600ce8960a2da8774d5f706632b23633ea","commits":[{"sha":"59de4dfc3da9d055be2a345aaf8a19f0df372f80","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"more removal of bytecodeTheory dependencies","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/59de4dfc3da9d055be2a345aaf8a19f0df372f80"},{"sha":"2504ffa4663e79d3592e2c3748f95fad85ccebc3","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"right-to-left proof fix that got lost in a merge\n\noriginal in 7d8cdc2955a4bac0b0b383809922cf6ad981ba1a","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/2504ffa4663e79d3592e2c3748f95fad85ccebc3"}]}