{"push_id":1034635947,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"ef749f16a1fe0b6430a41bd3d7be1b61b321d835","before":"2e9663b9ac55faaced04cc1300a4636869ddd337","commits":[{"sha":"6f74f6522084926490b7d76794c589554fc3a83a","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(library/type_context): instantiate was not replacing all assigned metavars","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/6f74f6522084926490b7d76794c589554fc3a83a"},{"sha":"ef749f16a1fe0b6430a41bd3d7be1b61b321d835","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"fix(library/type_context): instantiate was not replacing all assigned metavars","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/ef749f16a1fe0b6430a41bd3d7be1b61b321d835"}]}