{"push_id":911531718,"size":2,"distinct_size":2,"ref":"refs/heads/arith","head":"7bc26894bfb0290bc1e2fa1e1f22a07f51a52924","before":"b66668d558f511fc82820dbb50a1fec86c46ab45","commits":[{"sha":"81d3dd26eb8b6d7a84956d6ea81c11d9effdf00b","author":{"email":"05c7c2712eab81287658c607466a3eb2b59dcd80@gmail.com","name":"Daniel Selsam"},"message":"stuff","distinct":true,"url":"https://api.github.com/repos/dselsam/lean/commits/81d3dd26eb8b6d7a84956d6ea81c11d9effdf00b"},{"sha":"7bc26894bfb0290bc1e2fa1e1f22a07f51a52924","author":{"email":"05c7c2712eab81287658c607466a3eb2b59dcd80@gmail.com","name":"Daniel Selsam"},"message":"checkpoint","distinct":true,"url":"https://api.github.com/repos/dselsam/lean/commits/7bc26894bfb0290bc1e2fa1e1f22a07f51a52924"}]}