{"push_id":2450093832,"size":1,"distinct_size":1,"ref":"refs/heads/release-doc","head":"83c2b0bd6c2403916a2c8c74935b467b2f3ade77","before":"6f22a7a9318f8e2b54dae4e772006cb8a9969efa","commits":[{"sha":"83c2b0bd6c2403916a2c8c74935b467b2f3ade77","author":{"name":"Théo Zimmermann","email":"3fa00d4c71af9eccbf5ea7d35b947a2540b5774a@univ-paris-diderot.fr"},"message":"Create a documentation for the release manager.","distinct":true,"url":"https://api.github.com/repos/Zimmi48/coq/commits/83c2b0bd6c2403916a2c8c74935b467b2f3ade77"}]}
{"actor":{"display_login":"Zimmi48"}}