{"push_id":2512554167,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7dcd6f51f3c310ff66a466d5a219f5c079a8da2e","before":"009968eae72d4246e352092a7cf3c9a5276589d9","commits":[{"sha":"7dcd6f51f3c310ff66a466d5a219f5c079a8da2e","author":{"name":"Scott Morrison","email":"625600233cb3bcab32268c17610882e0fdaed295@tqft.net"},"message":"feat(tactic/interactive): adding a discharger argument to solve_by_elim (#108)","distinct":true,"url":"https://api.github.com/repos/leanprover/mathlib/commits/7dcd6f51f3c310ff66a466d5a219f5c079a8da2e"}]}
{"actor":{"display_login":"digama0"}}