{"push_id":789718556,"size":1,"distinct_size":1,"ref":"refs/heads/new_compiler","head":"c7e043d53ca6272c71365a04dedd686b2c8baf9f","before":"fc75066e043369891466bc9f967a92e35a258205","commits":[{"sha":"c7e043d53ca6272c71365a04dedd686b2c8baf9f","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"remove env_size argument from annotate\n\nin all uses it was always set to 0; I think it is a non-persistent\naccumulator.","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/c7e043d53ca6272c71365a04dedd686b2c8baf9f"}]}