{"push_id":3022491199,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6266420480275c567edb4f50dcb92b7765e31387","before":"56d725df436cd3287fd24dfed56c6b3f2e2d99c9","commits":[{"sha":"6266420480275c567edb4f50dcb92b7765e31387","author":{"name":"James Chapman","email":"7e073154f29e22bfc61b5e331a80e5c7e220789a@iohk.io"},"message":"renaming and substitution for telescopes + builtins (syntactic version)","distinct":true,"url":"https://api.github.com/repos/input-output-hk/plutus-metatheory/commits/6266420480275c567edb4f50dcb92b7765e31387"}]}
{"actor":{"display_login":"jmchapman"}}