Merge pull request #1861 from apiraino/archive-wg-prioritization

Archive WG-prioritization

Author: jackh726

repos/rust-lang/compiler-team-prioritization.toml

@@ -1,7 +1,7 @@
 org = "rust-lang"
 name = "compiler-team-prioritization"
-description = "Home repository for the compiler team \"prioritization group\""
+description = "Home repository for compiler team operations"
 bots = []
 
 [access.teams]
-wg-prioritization = "maintain"
+compiler-ops = "maintain"

repos/rust-lang/compiler-team.toml

@@ -6,7 +6,7 @@ bots = ["rustbot", "rfcbot"]
 
 [access.teams]
 compiler = "write"
-wg-prioritization = "write"
+compiler-ops = "write"
 types = "write"
 
 [[branch-protections]]

repos/rust-lang/rust.toml

@@ -24,7 +24,7 @@ rustdoc = "write"
 rust-analyzer = "write"
 style = "write"
 types = "write"
-wg-prioritization = "triage"
+compiler-ops = "triage"
 wg-triage = "write"
 
 [[branch-protections]]

teams/wg-prioritization.toml renamed to teams/archive/wg-prioritization.toml

@@ -3,35 +3,34 @@ subteam-of = "compiler"
 kind = "working-group"
 
 [people]
-leads = ["apiraino", "wesleywiser"]
-members = [
-    "Dylan-DPC",
-    "apiraino",
-    "camelid",
-    "hameerabbasi",
-    "hkmatsumoto",
-    "inquisitivecrystal",
-    "lcnr",
-    "wesleywiser",
-]
+leads = []
+members = []
 alumni = [
+    # The following nickname listed here to pass validation
+    # see https://github.com/rust-lang/team/pull/992
+    "am-1t",
     "Centril",
+    "Dylan-DPC",
     "JohnTitor",
     "LeSeulArtichaut",
     "Stupremee",
-    "jyn514",
-    "mark-i-m",
-    "o0Ignition0o",
-    "spastorino",
-    "pnkfelix",
-    # The following nicknames listed here to pass validation
-    # see https://github.com/rust-lang/team/pull/992
-    "am-1t",
+    "apiraino",
     "bawerd",
+    "camelid",
     "djcarpe",
     "frxstrem",
+    "hameerabbasi",
+    "hkmatsumoto",
+    "inquisitivecrystal",
     "jechasteen",
+    "jyn514",
+    "lcnr",
+    "mark-i-m",
     "mstallmo",
+    "o0Ignition0o",
+    "pnkfelix",
+    "spastorino",
+    "wesleywiser",
 ]
 
 [website]