{"push_id":1034630404,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6f74f6522084926490b7d76794c589554fc3a83a","before":"1c52062f1eb40899b0f444f4cf94a4fb3b3f8814","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/leodemoura/lean/commits/6f74f6522084926490b7d76794c589554fc3a83a"}]}