{"push_id":2964639918,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"74230e37bf5e3b93396256258c094b10a2f25c96","before":"b9dc7c8e6a9e22b9f8ab780e03277217ff1e6a6b","commits":[{"sha":"74230e37bf5e3b93396256258c094b10a2f25c96","author":{"name":"James Chapman","email":"7e073154f29e22bfc61b5e331a80e5c7e220789a@iohk.io"},"message":"examples restored for generalized mu (normal types version)","distinct":true,"url":"https://api.github.com/repos/input-output-hk/plutus-metatheory/commits/74230e37bf5e3b93396256258c094b10a2f25c96"}]}
{"actor":{"display_login":"jmchapman"}}