{"push_id":1914645141,"size":1,"distinct_size":1,"ref":"refs/heads/dev-doc-changes-md","head":"863c8e1acf661304c7df26147a510c5635100e40","before":"3a0fc7fb6eb24c7981aafd069bbf899a641984fc","commits":[{"sha":"863c8e1acf661304c7df26147a510c5635100e40","author":{"name":"Théo Zimmermann","email":"3fa00d4c71af9eccbf5ea7d35b947a2540b5774a@univ-paris-diderot.fr"},"message":"Move dev/doc/changes to Markdown.\n\nAnd remove old French part.\nAnd move part about the plugin API to the right section.","distinct":true,"url":"https://api.github.com/repos/Zimmi48/coq/commits/863c8e1acf661304c7df26147a510c5635100e40"}]}
{"actor":{"display_login":"Zimmi48"}}