{"push_id":625805175,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"720609fc494dacff947645099a93e4b23568d414","before":"2553d3baf8f0f74019827f2de9524549879821c1","commits":[{"sha":"e0e65705db72052b0a5ec4fb81429e790bcb768f","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/data/list/perm): add perm inversion theorems","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/e0e65705db72052b0a5ec4fb81429e790bcb768f"},{"sha":"720609fc494dacff947645099a93e4b23568d414","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"feat(library/data/list/perm): add perm inversion theorems","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/720609fc494dacff947645099a93e4b23568d414"}]}