{"push_id":919882645,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"0564f82c3ff7bda07e84690ffd77b793fb477172","before":"2c721012542f19e3ad7e93c9569972e1cc47c5ca","commits":[{"sha":"317c32a7e241d02d88601364f997c102e7c00333","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(library/blast/state): avoid duplicated names at state::to_goal","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/317c32a7e241d02d88601364f997c102e7c00333"},{"sha":"0564f82c3ff7bda07e84690ffd77b793fb477172","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"fix(library/blast/state): avoid duplicated names at state::to_goal","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/0564f82c3ff7bda07e84690ffd77b793fb477172"}]}