Add devtools alumni (#1137)

rust-lang · Dec 5, 2023 · a16c289 · a16c289
1 parent 6182489
commit a16c289
Show file tree

Hide file tree

Showing 5 changed files with 33 additions and 1 deletion.
diff --git a/teams/archive/devtools-peers.toml b/teams/archive/devtools-peers.toml
@@ -1,10 +1,21 @@
 name = "devtools-peers"
+subteam-of = "devtools"
 
 [people]
 leads = []
 members = []
 alumni = [
+    "alexcrichton",
+    "emilio",
+    "fitzgen",
+    "GuillaumeGomez",
+    "llogiq",
+    "Manishearth",
+    "matklad",
+    "oli-obk",
     "QuietMisdreavus",
+    "steveklabnik",
+    "tromey",
 ]
 
 [website]

diff --git a/teams/cargo.toml b/teams/cargo.toml
@@ -20,6 +20,7 @@ alumni = [
     "wycats",
     "withoutboats",
     "matklad",
+    "carols10cents",
 ]
 
 [permissions]

diff --git a/teams/devtools.toml b/teams/devtools.toml
@@ -3,7 +3,24 @@ name = "devtools"
 [people]
 leads = ["Manishearth"]
 members = ["Manishearth", "GuillaumeGomez", "oli-obk", "rbtcollins", "ehuss", "calebcartwright"]
-alumni = ["alexcrichton", "brson", "nrc", "killercup", "Xanewok", "kinnison", "fitzgen"]
+alumni = [
+    "alexcrichton",
+    "brson",
+    "carols10cents",
+    "dwijnand",
+    "fitzgen",
+    "japaric",
+    "killercup",
+    "kinnison",
+    "matklad",
+    "michaelwoerister",
+    "nrc",
+    "sophiajt",
+    "steveklabnik",
+    "withoutboats",
+    "wycats",
+    "Xanewok",
+]
 
 [rfcbot]
 label = "T-dev-tools"

diff --git a/teams/rustdoc.toml b/teams/rustdoc.toml
@@ -18,6 +18,8 @@ alumni = [
     "ollie27",
     "CraftSpider",
     "QuietMisdreavus",
+    "onur",
+    "steveklabnik",
 ]
 
 [[github]]

diff --git a/teams/rustup.toml b/teams/rustup.toml
@@ -15,6 +15,7 @@ alumni = [
     "nrc",
     "kinnison",
     "hi-rustin",
+    "dwijnand",
 ]
 
 [website]