{"push_id":900906724,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8adf6bad96a561b81ce4744a852499df3f4177bb","before":"fc2b2ca048c496acb5e11525ec97f149b7288d84","commits":[{"sha":"8adf6bad96a561b81ce4744a852499df3f4177bb","author":{"email":"f6463ff5feefda92d7e65ab2e5a7df502dd66e73@crans.org","name":"Cyril Cohen"},"message":"update real_closed dependency","distinct":true,"url":"https://api.github.com/repos/coq/opam-coq-archive/commits/8adf6bad96a561b81ce4744a852499df3f4177bb"}]}