{"push_id":897104204,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"17e0792f860c5d58dd15f45ae57cbd421f9b8be4","before":"34cee287d6e9439f1fa1740d75a2363408ab641c","commits":[{"sha":"50323e5b1433ab1d4307a23dbabfb980ba93d3d4","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(tests/lean/run/simplifier1): option name","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/50323e5b1433ab1d4307a23dbabfb980ba93d3d4"},{"sha":"17e0792f860c5d58dd15f45ae57cbd421f9b8be4","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"fix(tests/lean/run/simplifier1): option name","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/17e0792f860c5d58dd15f45ae57cbd421f9b8be4"}]}