{"push_id":576926054,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"da2f2b1c75588e637792852d7199fc5b0ed971bc","before":"5c8f5a6ba05e64dfd4bff62d284f8481f5410d54","commits":[{"sha":"da2f2b1c75588e637792852d7199fc5b0ed971bc","author":{"email":"7dfeecbe7e22fca27abd5fa0190f9b80fafde1c1@inria.fr","name":"Yves Bertot"},"message":"the program committee is now complete","distinct":true,"url":"https://api.github.com/repos/coq/www/commits/da2f2b1c75588e637792852d7199fc5b0ed971bc"}]}