{"push_id":700929743,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"17abfe65c432d93aad3727812ba1734736baa583","before":"9198f6994e0ac08f211b3481254133fb9b23227e","commits":[{"sha":"3e22bd9794cc7618a88d8fe847ee9ebd440f20f8","author":{"email":"03c6ba9e0bc3d15abe7e2bd025747673b34561dd@eduroam-252-200.nomadic.bris.ac.uk","name":"Benjamin Clarke"},"message":"sequences, casting, indexing","distinct":true,"url":"https://api.github.com/repos/benClar/mscProject/commits/3e22bd9794cc7618a88d8fe847ee9ebd440f20f8"},{"sha":"17abfe65c432d93aad3727812ba1734736baa583","author":{"email":"03c6ba9e0bc3d15abe7e2bd025747673b34561dd@eduroam-252-200.nomadic.bris.ac.uk","name":"Benjamin Clarke"},"message":"some seq semantics working","distinct":true,"url":"https://api.github.com/repos/benClar/mscProject/commits/17abfe65c432d93aad3727812ba1734736baa583"}]}