{"push_id":2870820106,"size":1,"distinct_size":1,"ref":"refs/heads/ssr/coqdoc","head":"db0ee59e630c32d668ed4ffb5d651460e5a9ac08","before":"96bdbd84992740838cac852f992e136be95c9fb3","commits":[{"sha":"db0ee59e630c32d668ed4ffb5d651460e5a9ac08","author":{"name":"Enrico Tassi","email":"4f6d07e2b142da7a8716d1cd541ae44f0d273335@inria.fr"},"message":"[ci] install both sphinx and stdlib html doc","distinct":true,"url":"https://api.github.com/repos/gares/coq/commits/db0ee59e630c32d668ed4ffb5d651460e5a9ac08"}]}
{"actor":{"display_login":"gares"}}