{"push_id":599252418,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c237e571e2eefa54e70a351d052c237a2b608d7e","before":"208e973c9cec0b7c1a02f6dca0549580668ead3a","commits":[{"sha":"c237e571e2eefa54e70a351d052c237a2b608d7e","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"ECSTR15x5: First version of While Lang semantics ?","distinct":true,"url":"https://api.github.com/repos/DavePearce/Papers/commits/c237e571e2eefa54e70a351d052c237a2b608d7e"}]}