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