{"push_id":1788318611,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"6f545718a02370abffa4f0151c50e8be1497b7c2","before":"85905ccbb822a1e33f2988696d88f454c742667c","commits":[{"sha":"0e0070eb2f660b1a54a99cce093fd00a0c066489","author":{"name":"Rob Lewis","email":"3f95b9979828fa4b2be336cb57695f3f7b53d0ec@andrew.cmu.edu"},"message":"feat(reflect): add formatting instances and make nat.reflect 0 a numeral","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/0e0070eb2f660b1a54a99cce093fd00a0c066489"},{"sha":"b8e5de2fb7f23025b59e4e8b4bfb14520f79a41b","author":{"name":"Rob Lewis","email":"3f95b9979828fa4b2be336cb57695f3f7b53d0ec@andrew.cmu.edu"},"message":"fix(reflect): change names","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/b8e5de2fb7f23025b59e4e8b4bfb14520f79a41b"},{"sha":"6f545718a02370abffa4f0151c50e8be1497b7c2","author":{"name":"Rob Lewis","email":"44f5fb4209f8b0b11a2b3946873efcb048788580@gmail.com"},"message":"fix(reflect): move format instance to expr.lean","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/6f545718a02370abffa4f0151c50e8be1497b7c2"}]}
{"actor":{"display_login":"Kha"}}