{"push_id":634705249,"size":3,"distinct_size":3,"ref":"refs/heads/infcomp3","head":"7ebc26c716cdabf5a68b5ed698d23690a0e6d588","before":"9d28416c24a6c20ab23b4f2ac073f1ea8dc352ed","commits":[{"sha":"2dda87f58944ac44c8e198b101a2b3499a0d5150","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"tweaks to semantics README","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/2dda87f58944ac44c8e198b101a2b3499a0d5150"},{"sha":"89f7ce725efff99c2a86035eba50fae390e38147","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"tweak comments in lexer_funScript.sml","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/89f7ce725efff99c2a86035eba50fae390e38147"},{"sha":"7ebc26c716cdabf5a68b5ed698d23690a0e6d588","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"correct some whitespace and other minor errors","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/7ebc26c716cdabf5a68b5ed698d23690a0e6d588"}]}