{"push_id":593798984,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"78d8e79000b4a8c7b12b8da072bb8a8d3d604425","before":"fa201bce9b5b54c307f4c3a7ac610a4623a3b44e","commits":[{"sha":"78d8e79000b4a8c7b12b8da072bb8a8d3d604425","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(library/data/num): naming convention","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/78d8e79000b4a8c7b12b8da072bb8a8d3d604425"}]}