{"push_id":637585466,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"24f6c90bec85b8424ce3ca5520c8dec251ae0824","before":"2a04a247987c5951793a8e217f9303bbebfd7994","commits":[{"sha":"24f6c90bec85b8424ce3ca5520c8dec251ae0824","author":{"email":"e3b6cda228242c30b711ac17cb264f1dbadfd0b6@petebevin.com","name":"Pete Bevin"},"message":"Semantic Soundness Theorem dissection PDF","distinct":true,"url":"https://api.github.com/repos/pbevin/milner-type-poly/commits/24f6c90bec85b8424ce3ca5520c8dec251ae0824"}]}