{"push_id":579946615,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"9ee657b01a6ac31de301ad74b1697ff27d106ffa","before":"9255edff0fc108d7986101c6718fcbb528d3b267","commits":[{"sha":"33e562a7ce44247bb9197ec618eae11801e8951b","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(frontends/lean/structure_cmd): effect of \"include\" command in the structure command\n\ncloses #438","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/33e562a7ce44247bb9197ec618eae11801e8951b"},{"sha":"9ee657b01a6ac31de301ad74b1697ff27d106ffa","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"fix(frontends/lean/structure_cmd): effect of \"include\" command in the structure command","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/9ee657b01a6ac31de301ad74b1697ff27d106ffa"}]}