Merge pull request #1822 from rust-lang/technetos-patch-1

technetos · web-flow · commit 99517b0b5963 · 2025-05-17T21:56:43.000Z
Update mods.toml
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
@@ -29,4 +29,4 @@
 /people/oli-obk.toml @Mark-Simulacrum @pietroalbini @jdno @marcoieni
 /people/pietroalbini.toml @Mark-Simulacrum @pietroalbini @jdno @marcoieni
 /people/rylev.toml @Mark-Simulacrum @pietroalbini @jdno @marcoieni
-/people/technetos.toml @Mark-Simulacrum @pietroalbini @jdno @marcoieni
+/people/steffahn.toml @Mark-Simulacrum @pietroalbini @jdno @marcoieni
diff --git a/people/steffahn.toml b/people/steffahn.toml
@@ -2,3 +2,4 @@ name = "Frank Steffahn"
 github = "steffahn"
 github-id = 3986214
 email = "fdsteffahn@gmail.com"
+zulip-id = 280891
diff --git a/teams/mods.toml b/teams/mods.toml
@@ -4,7 +4,7 @@ top-level = true
 [people]
 leads = []
 members = [
-    "technetos",
+    "steffahn",
     "oli-obk",
 ]
 alumni = [
@@ -17,6 +17,7 @@ alumni = [
     "Manishearth",
     "mbrubeck",
     "pnkfelix",
+    "technetos",
 ]
 
 [[github]]
