{"push_id":796868376,"size":1,"distinct_size":1,"ref":"refs/heads/Jacobi","head":"e05078129dd972d96d4f9bec238b5f6335a87405","before":"31b736d3b8c8560aed44342f85784cd2b4e2ff90","commits":[{"sha":"e05078129dd972d96d4f9bec238b5f6335a87405","author":{"email":"c9c378ce3140ef5347cfd390951bb5e31b98f5f4@lri.fr","name":"Florent Hivert"},"message":"Cleanup antisym / vander","distinct":true,"url":"https://api.github.com/repos/hivert/Coq-Combi/commits/e05078129dd972d96d4f9bec238b5f6335a87405"}]}