From 6f69f107731cb0c82e60e5364d9ee7c5d26ed806 Mon Sep 17 00:00:00 2001
From: Cyril Cohen <CohenCyril@users.noreply.github.com>
Date: Wed, 22 Jan 2025 08:37:05 +0100
Subject: [PATCH] Fix my github account

---
 data/governance.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/data/governance.yml b/data/governance.yml
index d00cce84..8f5b6d53 100644
--- a/data/governance.yml
+++ b/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: []
\ No newline at end of file
+working_groups: []