Merge pull request #1642 from ehuss/fix-marcoieni

jackh726 · web-flow · commit baccf2c03bff · 2025-01-13T11:12:58.000-05:00
Fix marcoieni username change
diff --git a/people/marcoieni.toml b/people/marcoieni.toml
@@ -1,5 +1,5 @@
 name = "Marco Ieni"
-github = "MarcoIeni"
+github = "marcoieni"
 github-id = 11428655
 email = "marcoieni@rustfoundation.org"
 discord-id = 650270302198169611
diff --git a/teams/infra-admins.toml b/teams/infra-admins.toml
@@ -7,7 +7,7 @@ members = [
     "Mark-Simulacrum",
     "pietroalbini",
     "jdno",
-    "MarcoIeni",
+    "marcoieni",
 ]
 alumni = [
     "aidanhs",
diff --git a/teams/infra.toml b/teams/infra.toml
@@ -10,7 +10,7 @@ members = [
     "shepmaster",
     "jdno",
     "Kobzol",
-    "MarcoIeni",
+    "marcoieni",
 ]
 alumni = [
     "alexcrichton",
