Split Arm team to distinguish maintainers.

This allows us to name "arm-maintainers" in platform support documents, without interfering with existing notification behaviour for the broader "arm" team.
rust-lang · Oct 14, 2023 · b9e97bb · b9e97bb
1 parent 018ceff
commit b9e97bb
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 3 deletions.
diff --git a/teams/arm-maintainers.toml b/teams/arm-maintainers.toml
@@ -0,0 +1,10 @@
+name = "arm-maintainers"
+kind = "marker-team"
+
+[people]
+leads = []
+members = [
+    "adamgemmell",
+    "jacobbramley",
+    "JamieCunliffe",
+]
diff --git a/teams/arm.toml b/teams/arm.toml
@@ -4,11 +4,11 @@ kind = "marker-team"
 [people]
 leads = []
 members = [
-    "JamieCunliffe",
     "Stammark",
     "joaopaulocarreiro",
     "raw-bin",
-    "jacobbramley",
-    "adamgemmell",
     "hug-dev",
 ]
+included-teams = [
+    "arm-maintainers"
+]