{"push_id":651516853,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"dc7466a66be157fdde8bef12794d31e6209560fd","before":"e12c782290bf6b7654afcd2e71f1e83cbbab6ee5","commits":[{"sha":"b39fe17dee32a9d9023cd54e1a7eeef619590561","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/tactic): add 'transitiviy', 'reflexivity' and 'symmetry' tactics\n\ncloses #500","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/b39fe17dee32a9d9023cd54e1a7eeef619590561"},{"sha":"dc7466a66be157fdde8bef12794d31e6209560fd","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"feat(library/tactic): add 'transitiviy', 'reflexivity' and 'symmetry' tactics","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/dc7466a66be157fdde8bef12794d31e6209560fd"}]}