Add @technetos to the leadership council

rylev · rylev · commit bf3d8f6fcc3e · 2023-08-29T22:48:26.000+02:00
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"]
