{"push_id":722772346,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f3f18c6a46acee394bf44dbc7d155940decb68aa","before":"e85a1e41a0593170f7f30d5b77bc23bece3dd29b","commits":[{"sha":"f3f18c6a46acee394bf44dbc7d155940decb68aa","author":{"email":"06a01043def2125a1de691b554e4f53e628f2d23@gmail.com","name":"David Hsieh"},"message":"* commit before pull.","distinct":true,"url":"https://api.github.com/repos/kaffeebrauer/Lean/commits/f3f18c6a46acee394bf44dbc7d155940decb68aa"}]}