{"push_id":572104104,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"294f2748a1d5948b3cf8b80eeadf15b2dd38c066","before":"5971bbbba3a62d93de174320b1d343f95d089482","commits":[{"sha":"a35cce38b36fed525e9424338eae7b766d9f07ea","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(frontends/lean): new semantics for \"protected\" declarations\n\ncloses #426","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/a35cce38b36fed525e9424338eae7b766d9f07ea"},{"sha":"294f2748a1d5948b3cf8b80eeadf15b2dd38c066","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"feat(frontends/lean): new semantics for \"protected\" declarations","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/294f2748a1d5948b3cf8b80eeadf15b2dd38c066"}]}