Merge pull request rust-lang#1050 from ehuss/devtools-membership

rylev · web-flow · commit 8d35e3665e46 · 2023-08-23T18:15:05.000+02:00
Update devtools team membership
diff --git a/teams/devtools.toml b/teams/devtools.toml
@@ -2,8 +2,8 @@ name = "devtools"
 
 [people]
 leads = ["Manishearth"]
-members = ["Manishearth", "Xanewok", "fitzgen", "GuillaumeGomez", "oli-obk", "kinnison", "ehuss"]
-alumni = ["nrc", "killercup"]
+members = ["Manishearth", "GuillaumeGomez", "oli-obk", "rbtcollins", "ehuss", "calebcartwright"]
+alumni = ["nrc", "killercup", "Xanewok", "kinnison", "fitzgen"]
 
 [rfcbot]
 label = "T-dev-tools"
