{"push_id":1191065778,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"8295842de7bceef411361c79afa073d24ae52ab7","before":"0b1945efbf2f1d4942937b574c805a1f9a447482","commits":[{"sha":"9c79402fb1f3c3bc3790b780b742fdd92ffbafc7","author":{"name":"Cyrus Omar","email":"59161ef95faacc6464336b9f2d92019418b4ba04@gmail.com"},"message":"reachability work","distinct":true,"url":"https://api.github.com/repos/hazelgrove/hazelnut-popl17/commits/9c79402fb1f3c3bc3790b780b742fdd92ffbafc7"},{"sha":"8295842de7bceef411361c79afa073d24ae52ab7","author":{"name":"Cyrus Omar","email":"59161ef95faacc6464336b9f2d92019418b4ba04@gmail.com"},"message":"Merge branch 'master' of github.com:hazelgrove/hazelnut-popl17","distinct":true,"url":"https://api.github.com/repos/hazelgrove/hazelnut-popl17/commits/8295842de7bceef411361c79afa073d24ae52ab7"}]}
{"actor":{"display_login":"cyrus-"}}