{"push_id":608444095,"size":1,"distinct_size":1,"ref":"refs/heads/clean-api","head":"6100ea7b4cdfca0f190f670be629ea5e51d4e1e7","before":"08b6b09ec8c72b0648e54822cea7674c1ce5e622","commits":[{"sha":"6100ea7b4cdfca0f190f670be629ea5e51d4e1e7","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Definition of a run function for the API","distinct":true,"url":"https://api.github.com/repos/clarus/coq-opam-website/commits/6100ea7b4cdfca0f190f670be629ea5e51d4e1e7"}]}