diff --git a/people/MarcoIeni.toml b/people/marcoieni.toml similarity index 86% rename from people/MarcoIeni.toml rename to people/marcoieni.toml index 4a6fc6505..7c825f653 100644 --- 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 index 341473ed6..78f32aa64 100644 --- 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 index 9d8c7c191..b3194ac39 100644 --- a/teams/infra.toml +++ b/teams/infra.toml @@ -10,7 +10,7 @@ members = [ "shepmaster", "jdno", "Kobzol", - "MarcoIeni", + "marcoieni", ] alumni = [ "alexcrichton",