{"push_id":934802609,"size":1,"distinct_size":1,"ref":"refs/heads/k11-release-prep","head":"bc4856801dbccdedf0146faedba9572161d38fdd","before":"1f91a97c8525574c99d795019ae5154406e1b4a7","commits":[{"sha":"bc4856801dbccdedf0146faedba9572161d38fdd","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Corrections for last commit","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/bc4856801dbccdedf0146faedba9572161d38fdd"}]}