{"push_id":639410587,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9368f94d0f5dcd75a2972ff7d4fadd91320ce215","before":"f27901decde8898dbb388340cd5c9d53e4221d8f","commits":[{"sha":"9368f94d0f5dcd75a2972ff7d4fadd91320ce215","author":{"email":"5d4741f379cb62ae4150461442b83a578a1f4ae3@gmail.com","name":"Steve Awodey"},"message":"lawvere\n\nNNO","distinct":true,"url":"https://api.github.com/repos/ngambino/hinitial/commits/9368f94d0f5dcd75a2972ff7d4fadd91320ce215"}]}