Merge pull request #1050 from ehuss/devtools-membership

Update devtools team membership
rust-lang · Aug 23, 2023 · 8d35e36 · 8d35e36
2 parents 8e67242 + d8c0404
commit 8d35e36
Showing 1 changed file with 2 additions and 2 deletions.
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"