{"push_id":1207127285,"size":1,"distinct_size":1,"ref":"refs/heads/lean3-cg-clean","head":"56fe0d61aa1f9a942f604aa1f3d91624bfc47c48","before":"fb34d8200d080d716d4b0cd38b9714f2bd19313f","commits":[{"sha":"56fe0d61aa1f9a942f604aa1f3d91624bfc47c48","author":{"name":"Jared Roesch","email":"2a3819ae5e75b8f9e1dfaca9b40cbb140b3c5645@gmail.com"},"message":"enable let-bound cases_on to store a value to the right name","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/56fe0d61aa1f9a942f604aa1f3d91624bfc47c48"}]}
{"actor":{"display_login":"jroesch"}}