{"push_id":1255313062,"size":1,"distinct_size":1,"ref":"refs/heads/lean3-cg-clean","head":"0b07947575ee4c8a772367bf15d04e426c6c051a","before":"e1370040a634ad9c45870d660345e720d850a349","commits":[{"sha":"0b07947575ee4c8a772367bf15d04e426c6c051a","author":{"name":"Jared Roesch","email":"2a3819ae5e75b8f9e1dfaca9b40cbb140b3c5645@gmail.com"},"message":"debugging failure","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/0b07947575ee4c8a772367bf15d04e426c6c051a"}]}
{"actor":{"display_login":"jroesch"}}