{"push_id":650262515,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"5e25f6435e98676b08fe016c0ef7a7dfd9c02abd","before":"3ab7f4edfecd97aff08e31bc68e5a7e52bfa5161","commits":[{"sha":"d152f38518abdbeaf951c20d0ee6c5820bfea2d5","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/tactic): add 'constructor', 'split', 'left', 'right' and 'existsi' tactics\n\nsee issue #500","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/d152f38518abdbeaf951c20d0ee6c5820bfea2d5"},{"sha":"5e25f6435e98676b08fe016c0ef7a7dfd9c02abd","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"feat(library/tactic): add 'constructor', 'split', 'left', 'right' and 'existsi' tactics","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/5e25f6435e98676b08fe016c0ef7a7dfd9c02abd"}]}