Better case for Nicolas Tabareau

coq · Jan 10, 2025 · 8b71f22 · 8b71f22
1 parent afff6e8
commit 8b71f22
Show file tree

Hide file tree

Showing 2 changed files with 1,790 additions and 1,790 deletions.
diff --git a/data/github-teams-simplified.json b/data/github-teams-simplified.json
@@ -116,7 +116,7 @@
         },
         {
           "github": "tabareau",
-          "name": "nicolas tabareau"
+          "name": "Nicolas Tabareau"
         }
       ]
     },
@@ -280,7 +280,7 @@
         },
         {
           "github": "tabareau",
-          "name": "nicolas tabareau"
+          "name": "Nicolas Tabareau"
         },
         {
           "github": "rlepigre",
@@ -564,7 +564,7 @@
         },
         {
           "github": "tabareau",
-          "name": "nicolas tabareau"
+          "name": "Nicolas Tabareau"
         },
         {
           "github": "silene",
@@ -1272,7 +1272,7 @@
         },
         {
           "github": "tabareau",
-          "name": "nicolas tabareau"
+          "name": "Nicolas Tabareau"
         },
         {
           "github": "silene",
@@ -1680,7 +1680,7 @@
         },
         {
           "github": "tabareau",
-          "name": "nicolas tabareau"
+          "name": "Nicolas Tabareau"
         },
         {
           "github": "Alizter",