{"push_id":1292520762,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b3ce762ffec69683bfe7007bd01231a8c81f056c","before":"b9c99e5dade30c764110ccb77aa5a6979464e76b","commits":[{"sha":"b3ce762ffec69683bfe7007bd01231a8c81f056c","author":{"name":"Jonathan Sterling","email":"1bde51fb45d31234a937eabeae454399af21dc56@jonmsterling.com"},"message":"...","distinct":true,"url":"https://api.github.com/repos/jonsterling/agda-abt/commits/b3ce762ffec69683bfe7007bd01231a8c81f056c"}]}
{"actor":{"display_login":"jonsterling"}}