{"push_id":2972571484,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"1076b52e05c86de2a3eb2af042d762fc9c6bf1df","before":"68783a0ea14ab1381cb0995e0e204e04152fe7eb","commits":[{"sha":"1076b52e05c86de2a3eb2af042d762fc9c6bf1df","author":{"name":"James Chapman","email":"7e073154f29e22bfc61b5e331a80e5c7e220789a@iohk.io"},"message":"first commit of agda generated html","distinct":true,"url":"https://api.github.com/repos/input-output-hk/plutus-metatheory/commits/1076b52e05c86de2a3eb2af042d762fc9c6bf1df"}]}
{"actor":{"display_login":"jmchapman"}}