{"push_id":752673294,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"26e04c7d83816de7ce8790e6a6189c34ea149a07","before":"f9b2b93f7a27a96b82a31ddea499c2b141f021bd","commits":[{"sha":"26e04c7d83816de7ce8790e6a6189c34ea149a07","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(library/data/nat/order): fixes #786","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/26e04c7d83816de7ce8790e6a6189c34ea149a07"}]}