{"push_id":800180794,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"9982572857064f6396bd454f0fbb30770e8103b4","before":"795af6266978d9ffad2e6f49153ba274fde6416b","commits":[{"sha":"ba1eef1a71f738a504c55b2a4451870819fc7df8","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WLS: Remove notion of TypePattern\n\nThe notion of a \"TypePattern\" has been remove for something less\nflexible, but more concrete.","distinct":true,"url":"https://api.github.com/repos/Whiley/WhileyDocs/commits/ba1eef1a71f738a504c55b2a4451870819fc7df8"},{"sha":"9982572857064f6396bd454f0fbb30770e8103b4","author":{"email":"ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","name":"DavePearce"},"message":"WLS: Remove notion of tuple\n\nThe concept of a \"tuple type\", and a \"multi-expression\" have been\nremoved in favour of a less flexible, but also less ambiguous syntax.","distinct":true,"url":"https://api.github.com/repos/Whiley/WhileyDocs/commits/9982572857064f6396bd454f0fbb30770e8103b4"}]}