Merge pull request #1945 from davidtwco/davidtwco-remove-from-groups

remove davidtwco from some groups

Author: jieyouxu

teams/project-const-generics.toml

@@ -7,13 +7,13 @@ leads = ["BoxyUwU", "lcnr"]
 members = [
     "lcnr",
     "nikomatsakis",
-    "davidtwco",
     "oli-obk",
     "BoxyUwU",
     "camelid",
     "compiler-errors",
 ]
 alumni = [
+    "davidtwco",
     "varkor",
     "withoutboats",
 ]

teams/wg-mir-opt.toml

@@ -4,8 +4,8 @@ kind = "working-group"
 
 [people]
 leads = ["oli-obk"]
-members = ["oli-obk", "eddyb", "davidtwco", "wesleywiser", "vertexclique", "JakobDegen", "dianqk"]
-alumni = ["spastorino"]
+members = ["oli-obk", "eddyb", "wesleywiser", "vertexclique", "JakobDegen", "dianqk"]
+alumni = ["davidtwco", "spastorino"]
 
 [[github]]
 orgs = ["rust-lang"]