{"push_id":1270513756,"size":1,"distinct_size":1,"ref":"refs/heads/inductive_compiler","head":"49c1c4e0089d3c9f7a8bef6f88dd980d639b28b9","before":"81add7e4e27adfa7ca5ae33bd053ae6cd61e11f9","commits":[{"sha":"49c1c4e0089d3c9f7a8bef6f88dd980d639b28b9","author":{"name":"Daniel Selsam","email":"8f1d6bb0bd9093ce0d9331b3ca37599085cf96af@gmail.com"},"message":"draft of recursor","distinct":true,"url":"https://api.github.com/repos/dselsam/lean/commits/49c1c4e0089d3c9f7a8bef6f88dd980d639b28b9"}]}
{"actor":{"display_login":"dselsam"}}