{"push_id":1100383811,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"0e469f3c5702388c7c613a72d7309bc4c6690fe7","before":"dfd74c4304696045721f4f649f357d9e5c918ac1","commits":[{"sha":"0e469f3c5702388c7c613a72d7309bc4c6690fe7","author":{"email":"c9c378ce3140ef5347cfd390951bb5e31b98f5f4@lri.fr","name":"Florent Hivert"},"message":"Updated doc","distinct":true,"url":"https://api.github.com/repos/hivert/Coq-Combi/commits/0e469f3c5702388c7c613a72d7309bc4c6690fe7"}]}