{"push_id":1435460700,"size":1,"distinct_size":1,"ref":"refs/heads/lean3-native-post-rebase","head":"c5aa4654f05c40113d245176a42bf3ddc021c3f4","before":"b8c730674cd0e1415c1d36a427e3922a4c78dbd0","commits":[{"sha":"c5aa4654f05c40113d245176a42bf3ddc021c3f4","author":{"name":"Jared Roesch","email":"2a3819ae5e75b8f9e1dfaca9b40cbb140b3c5645@gmail.com"},"message":"post-rebase cleanup","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/c5aa4654f05c40113d245176a42bf3ddc021c3f4"}]}
{"actor":{"display_login":"jroesch"}}