{"push_id":1270486269,"size":1,"distinct_size":1,"ref":"refs/heads/issue-5","head":"3745251c8d8152324ce57ef08827c179498ed345","before":"077c50f3d075bb54e3167dddede7c39b541bb2c9","commits":[{"sha":"3745251c8d8152324ce57ef08827c179498ed345","author":{"name":"Jonathan Sterling","email":"1bde51fb45d31234a937eabeae454399af21dc56@jonmsterling.com"},"message":"...","distinct":true,"url":"https://api.github.com/repos/jonsterling/aspects-of-cubical-type-theory/commits/3745251c8d8152324ce57ef08827c179498ed345"}]}
{"actor":{"display_login":"jonsterling"}}