{"push_id":693900365,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"28598831cd47dea857b5a26f2166976036af30c3","before":"e8a6e78f141eace21d3f33ffb98d115dc521927c","commits":[{"sha":"69be4c720cc795c92a458b9df87d02c275a12d53","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(library/tactic/subst_tactic): bug in 'subst' tactic","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/69be4c720cc795c92a458b9df87d02c275a12d53"},{"sha":"28598831cd47dea857b5a26f2166976036af30c3","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"fix(library/tactic/subst_tactic): bug in 'subst' tactic","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/28598831cd47dea857b5a26f2166976036af30c3"}]}