{"push_id":1107748322,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b02aa8d9b8169f988261e556e0daa9361ec08d12","before":"1a4aae4686fff3402b8f33b49a0ba35067a65126","commits":[{"sha":"b02aa8d9b8169f988261e556e0daa9361ec08d12","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"Remove unnecessary TODO\n\nThe theorem is already in evalProps.","distinct":true,"url":"https://api.github.com/repos/ajaysusarla/cakeml/commits/b02aa8d9b8169f988261e556e0daa9361ec08d12"}]}