{"push_id":709893000,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a54fb42f87f1d015191a14fe53c8e3d32b373756","before":"130eb3f6d9747d52d6c3a317acebc1ce19503f65","commits":[{"sha":"a54fb42f87f1d015191a14fe53c8e3d32b373756","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"refactor(library/data/int/basic): put int.of_nat coercion in int namespace","distinct":true,"url":"https://api.github.com/repos/avigad/lean/commits/a54fb42f87f1d015191a14fe53c8e3d32b373756"}]}