{"push_id":584148040,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"1658745489ee287fc7d4eae839ca65835b7c28bd","before":"05157d2ccc1fca4009afef5e2a9cbc8b9b6155d9","commits":[{"sha":"4f79d12da777ed7ef3933ac98ffa7bba0f477d2d","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"refactor(library/algebra/category/morphism): improve performance using rewrite tactic","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/4f79d12da777ed7ef3933ac98ffa7bba0f477d2d"},{"sha":"1658745489ee287fc7d4eae839ca65835b7c28bd","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"refactor(library/algebra/category/morphism): improve performance using rewrite tactic","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/1658745489ee287fc7d4eae839ca65835b7c28bd"}]}