Merge pull request #1058 from khionu/master

Remove myself (khionu) from mods and council
rust-lang · Aug 29, 2023 · 2d557fa · 2d557fa
2 parents 089945d + 4d27ae8
commit 2d557fa
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 5 deletions.
diff --git a/teams/leadership-council.toml b/teams/leadership-council.toml
@@ -8,12 +8,13 @@ members = [
     "ehuss",
     "jackh726",
     "jonathanpallant",
-    "khionu",
     "Mark-Simulacrum",
     "m-ou-se",
     "rylev",
 ]
-alumni = []
+alumni = [
+    "khionu",
+]
 
 [[github]]
 orgs = ["rust-lang", "rust-lang-nursery"]

diff --git a/teams/mods-discord.toml b/teams/mods-discord.toml
@@ -4,14 +4,14 @@ subteam-of = "mods"
 [people]
 leads = []
 members = [
-    "khionu",
     "sgrif",
     "technetos",
     "Manishearth"
 ]
 alumni = [
     "Centril",
     "shadows-withal",
+    "khionu",
 ]
 
 [website]

diff --git a/teams/mods-discourse.toml b/teams/mods-discourse.toml
@@ -5,12 +5,12 @@ subteam-of = "mods"
 leads = []
 members = [
     "technetos",
-    "khionu",
     "notriddle",
     "steffahn",
 ]
 alumni = [
     "mbrubeck",
+    "khionu",
 ]
 
 [website]

diff --git a/teams/mods.toml b/teams/mods.toml
@@ -4,13 +4,13 @@ name = "mods"
 leads = []
 members = [
     "technetos",
-    "khionu",
     "oli-obk",
 ]
 alumni = [
     "BurntSushi",
     "llogiq",
     "matthieu-m",
+    "khionu",
 ]
 
 [[github]]