{"push_id":1230407866,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"bb302cde9bc41d7fcaeb1b078fa70aa5af8ab37e","before":"ba52858c6387ccff4b386dfb9110aa823ffc818d","commits":[{"sha":"bb302cde9bc41d7fcaeb1b078fa70aa5af8ab37e","author":{"name":"Yves Bertot","email":"886a35dee0cdf1f23be8deeabf7b74ecaa048df2@inria.fr"},"message":"trying to implement a quick fix to a break in the web site.","distinct":true,"url":"https://api.github.com/repos/coq/www/commits/bb302cde9bc41d7fcaeb1b078fa70aa5af8ab37e"}]}
{"actor":{"display_login":"ybertot"}}