{"push_id":855340333,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e586d5c0177294ed0ff11aed34b7e0dba65b3c55","before":"02cf4cfb7836964b129eb88102acd9fcbb6411ad","commits":[{"sha":"e586d5c0177294ed0ff11aed34b7e0dba65b3c55","author":{"email":"c9c378ce3140ef5347cfd390951bb5e31b98f5f4@lri.fr","name":"Florent Hivert"},"message":"Updated README.md","distinct":true,"url":"https://api.github.com/repos/hivert/Coq-Combi/commits/e586d5c0177294ed0ff11aed34b7e0dba65b3c55"}]}