{"push_id":1214654773,"size":1,"distinct_size":1,"ref":"refs/heads/smt2","head":"9d9e4a47d9cb1d82209dd248b196902cbd78f3d1","before":"61f33e859a1eb43eced16f876acd98751f43240a","commits":[{"sha":"9d9e4a47d9cb1d82209dd248b196902cbd78f3d1","author":{"name":"Daniel Selsam","email":"8f1d6bb0bd9093ce0d9331b3ca37599085cf96af@gmail.com"},"message":"minor","distinct":true,"url":"https://api.github.com/repos/dselsam/lean/commits/9d9e4a47d9cb1d82209dd248b196902cbd78f3d1"}]}
{"actor":{"display_login":"dselsam"}}