{"push_id":1171575874,"size":1,"distinct_size":1,"ref":"refs/heads/simp_tactic","head":"babde7be545fd6dcaad2853acd3bec8534a0be75","before":"944ceb236bb10b3a2465459cc9b06c81c52b0313","commits":[{"sha":"babde7be545fd6dcaad2853acd3bec8534a0be75","author":{"name":"Daniel Selsam","email":"8f1d6bb0bd9093ce0d9331b3ca37599085cf96af@gmail.com"},"message":"starting to try to build simplifier","distinct":true,"url":"https://api.github.com/repos/dselsam/lean/commits/babde7be545fd6dcaad2853acd3bec8534a0be75"}]}
{"actor":{"display_login":"dselsam"}}