{"push_id":1189911282,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d486b1efd068036c7f478ded48508532af00d3db","before":"14fed5f0253512c25ee0f5fecce487285e6acf2a","commits":[{"sha":"d486b1efd068036c7f478ded48508532af00d3db","author":{"name":"Ian Ernest Voysey","email":"b91d558162b39988f1147f9c7bd70c432a4fdbbc@andrew.cmu.edu"},"message":"actsense2 recovered","distinct":true,"url":"https://api.github.com/repos/hazelgrove/agda-popl17/commits/d486b1efd068036c7f478ded48508532af00d3db"}]}
{"actor":{"display_login":"ivoysey"}}