{"push_id":807546068,"size":1,"distinct_size":1,"ref":"refs/heads/Jacobi","head":"2f30cf221c0bae3f86315d44c9fb38dbff25634c","before":"83e38597616a6d1a916ca6f41fd5e3339d179306","commits":[{"sha":"2f30cf221c0bae3f86315d44c9fb38dbff25634c","author":{"email":"c9c378ce3140ef5347cfd390951bb5e31b98f5f4@lri.fr","name":"Florent Hivert"},"message":"WIP on Jacobi","distinct":true,"url":"https://api.github.com/repos/hivert/Coq-Combi/commits/2f30cf221c0bae3f86315d44c9fb38dbff25634c"}]}