Add @technetos to the leadership council

rust-lang · Aug 30, 2023 · e47c017 · e47c017
1 parent 094e155
commit e47c017
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/people/technetos.toml b/people/technetos.toml
@@ -3,3 +3,4 @@ github = "technetos"
 github-id = 10949810
 email = "[email protected]"
 discord-id = 443810603417731092
+zulip-id = 259089
diff --git a/teams/leadership-council.toml b/teams/leadership-council.toml
@@ -11,10 +11,9 @@ members = [
     "Mark-Simulacrum",
     "m-ou-se",
     "rylev",
+    "technetos",
 ]
-alumni = [
-    "khionu",
-]
+alumni = ["khionu"]
 
 [[github]]
 orgs = ["rust-lang", "rust-lang-nursery"]