Merge pull request #70 from CohenCyril/patch-1

Fix my github account

Author: Zimmi48

data/governance.yml

@@ -69,7 +69,7 @@ teams:
     default_role: Moderator
     members:
     - name: Cyril Cohen
-      github: CyrilCohen
+      github: CohenCyril
       role: Admin
     - name: Théo Zimmermann
       github: Zimmi48
@@ -327,4 +327,4 @@ teams:
   - id: dev-tools-maintainers
     name: Development Tools
     description: The tools used by Rocq developers to work on the project.
-working_groups: []
+working_groups: []