{"push_id":681880837,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"b2f8d2000c95fddd6ed7d8c5b3d31608070bc954","before":"4ace996057d5d558c086cafdfa430077c734e8d8","commits":[{"sha":"d6997300f125a0821d43b957a26460ee550f51b8","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(library/private): use environment fingerprint to compute private decls \"unique\" identifier\n\nfixes #648","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/d6997300f125a0821d43b957a26460ee550f51b8"},{"sha":"b2f8d2000c95fddd6ed7d8c5b3d31608070bc954","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(library/simplifier/rewrite_rule_set): avoid compiler specific behavior","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/b2f8d2000c95fddd6ed7d8c5b3d31608070bc954"}]}