{"push_id":688939565,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"f7dd85a9357ef9f9fe8533cbaf9bdb884cda4dd4","before":"1c5c79fbc16147b328137605919298e10f59d5fd","commits":[{"sha":"d6a483fe84468ff4cd62e399027c8774b2689d3a","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library): add idx_metavar module","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/d6a483fe84468ff4cd62e399027c8774b2689d3a"},{"sha":"627e05c9e645f1f9ad774e0bb7cd2b10d7a99d0d","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(library/tactic/rewrite_tactic): improve krewrite","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/627e05c9e645f1f9ad774e0bb7cd2b10d7a99d0d"},{"sha":"f7dd85a9357ef9f9fe8533cbaf9bdb884cda4dd4","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"chore(*): fix 'breif' typos","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/f7dd85a9357ef9f9fe8533cbaf9bdb884cda4dd4"}]}