From b9e97bb6bfa40a3d0222f028aea6782b44c6b543 Mon Sep 17 00:00:00 2001
From: Jacob Bramley <jacob.bramley@arm.com>
Date: Thu, 21 Sep 2023 09:08:13 +0100
Subject: [PATCH] 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.
---
 teams/arm-maintainers.toml | 10 ++++++++++
 teams/arm.toml             |  6 +++---
 2 files changed, 13 insertions(+), 3 deletions(-)
 create mode 100644 teams/arm-maintainers.toml

diff --git a/teams/arm-maintainers.toml b/teams/arm-maintainers.toml
new file mode 100644
index 000000000..92d2001a3
--- /dev/null
+++ 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
index 67127474c..5ff9d09fe 100644
--- 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"
+]