{"push_id":1037676089,"size":1,"distinct_size":1,"ref":"refs/heads/number-notation","head":"ee9f5e581a2fd5f544a2d3056c86fa815b7fb15f","before":"52cfd1d8920a6a25bf789233357a82d5606aa833","commits":[{"sha":"ee9f5e581a2fd5f544a2d3056c86fa815b7fb15f","author":{"email":"838cac7966bf01cd8b4e996b70e05d53984c7d46@inria.fr","name":"Daniel de Rauglaudre"},"message":"-","distinct":true,"url":"https://api.github.com/repos/roglo/coq/commits/ee9f5e581a2fd5f544a2d3056c86fa815b7fb15f"}]}