{"push_id":856111964,"size":1,"distinct_size":1,"ref":"refs/heads/typeclass","head":"46decd01d2f85cf21e4cb1cd2e7630048f23492a","before":"d7ab29e0bc90abad4c25c36609857e50f037e6cc","commits":[{"sha":"46decd01d2f85cf21e4cb1cd2e7630048f23492a","author":{"email":"597e2d195b18d1f0b2b6530cee088a0ab0ed3ce2@gmail.com","name":"Rob Lewis"},"message":"feat(norm_num): fix bugs, add tests","distinct":true,"url":"https://api.github.com/repos/rlewis1988/lean/commits/46decd01d2f85cf21e4cb1cd2e7630048f23492a"}]}