{"push_id":691732189,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"01e27f2bd4398bec66662269db6cd1a4b165a40a","before":"e9991ce985a1038813fe6ff15e67e4302c10323b","commits":[{"sha":"1b5d1136d9caebd1fdb35825caf180e9957cf8de","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"refactor(library/data/finset/card): remove unnecessary xrewrite\n\nWe can use the default 'rewrite' tactic after the commits pushed today.","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/1b5d1136d9caebd1fdb35825caf180e9957cf8de"},{"sha":"01e27f2bd4398bec66662269db6cd1a4b165a40a","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"refactor(library/data/finset/card): remove unnecessary xrewrite","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/01e27f2bd4398bec66662269db6cd1a4b165a40a"}]}