{"push_id":2440018015,"size":1,"distinct_size":1,"ref":"refs/heads/pa","head":"f7292a3bc248024c4e6df377e056d9393736c5de","before":"164cbb92471f8fa56acebbc05ff776eaa574259f","commits":[{"sha":"f7292a3bc248024c4e6df377e056d9393736c5de","author":{"name":"Frédéric Blanqui","email":"4f97b23edc283542cbe13f3d9d8209e2d7c127aa@inria.fr"},"message":"eval: fixed eq_modulo","distinct":true,"url":"https://api.github.com/repos/rlepigre/lambdapi/commits/f7292a3bc248024c4e6df377e056d9393736c5de"}]}
{"actor":{"display_login":"fblanqui"}}