{"push_id":2374494408,"size":1,"distinct_size":1,"ref":"refs/heads/undercut","head":"57271c61d1a752281ac0da41eb37e3ea3ae6594a","before":"6eb4b0bf395db0b9e91b9b6657419a2d4c9a9c12","commits":[{"sha":"57271c61d1a752281ac0da41eb37e3ea3ae6594a","author":{"name":"Robert Widmann","email":"8d9dbc76a6f28af262d9ada6aa64c8464e94ce54@gmail.com"},"message":"Remove a dead meta while elaborating lambdas\n\nThis part of the system is pretty much always unsolved for\nnon-parametric lambdas.","distinct":true,"url":"https://api.github.com/repos/CodaFi/silt/commits/57271c61d1a752281ac0da41eb37e3ea3ae6594a"}]}
{"actor":{"display_login":"CodaFi"}}