{"push_id":898892965,"size":1,"distinct_size":1,"ref":"refs/heads/acl_arith","head":"4463f2f9082c81427cb93aa54a916045b1a94220","before":"efe797390084e52688dcbeca8752632b6936dc21","commits":[{"sha":"4463f2f9082c81427cb93aa54a916045b1a94220","author":{"email":"05c7c2712eab81287658c607466a3eb2b59dcd80@gmail.com","name":"Daniel Selsam"},"message":"checkpoint","distinct":true,"url":"https://api.github.com/repos/dselsam/lean/commits/4463f2f9082c81427cb93aa54a916045b1a94220"}]}