{"push_id":966922003,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"be96ca9b302e3506c7f693267b37198110cc7551","before":"a2b940f43eeec13229bbca866a9ed3319bb81123","commits":[{"sha":"be96ca9b302e3506c7f693267b37198110cc7551","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Uninstallation rules","distinct":true,"url":"https://api.github.com/repos/coq/opam-coq-archive/commits/be96ca9b302e3506c7f693267b37198110cc7551"}]}