Fix marcoieni username change

rust-lang · Jan 13, 2025 · 8a9c9ff · 8a9c9ff
1 parent 94cfefb
commit 8a9c9ff
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/people/MarcoIeni.toml → people/marcoieni.toml b/people/MarcoIeni.toml → people/marcoieni.toml
@@ -1,5 +1,5 @@
 name = "Marco Ieni"
-github = "MarcoIeni"
+github = "marcoieni"
 github-id = 11428655
 email = "[email protected]"
 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",