{"push_id":669338193,"size":1,"distinct_size":1,"ref":"refs/heads/conf-ppl","head":"a9fa39fad568c518ed61837845f30e58e317b022","before":"606afe485e3afeb5e8708fe9112a8f915ed07cb9","commits":[{"sha":"a9fa39fad568c518ed61837845f30e58e317b022","author":{"email":"513d8bbccb0a6d9458d62fb045ef0e38b3e74daa@inria.fr","name":"Francois BERENGER"},"message":"support gentoo in conf-ppl","distinct":true,"url":"https://api.github.com/repos/UnixJunkie/opam-repository/commits/a9fa39fad568c518ed61837845f30e58e317b022"}]}