Merge pull request #1504 from nikomatsakis/goal-owners-team

jackh726 · web-flow · commit 7dba649c6e89 · 2024-07-24T16:38:08.000-04:00
add new goal-owners team
diff --git a/people/ZuseZ4.toml b/people/ZuseZ4.toml
@@ -0,0 +1,3 @@
+name = "Manuel Drehwald"
+github = "ZuseZ4"
+github-id = 25483084
diff --git a/people/jkelleyrtp.toml b/people/jkelleyrtp.toml
@@ -0,0 +1,3 @@
+name = "Jonathan Kelley"
+github = "jkelleyrtp"
+github-id = 10237910
diff --git a/people/obi1kenobi.toml b/people/obi1kenobi.toml
@@ -0,0 +1,3 @@
+name = "Predrag Gruevski"
+github = "obi1kenobi"
+github-id = 2348618
diff --git a/repos/rust-lang/rust-project-goals.toml b/repos/rust-lang/rust-project-goals.toml
@@ -14,3 +14,4 @@ leadership-council = "maintain"
 libs = "maintain"
 libs-api = "maintain"
 project-edition-2024 = "maintain"
+goal-owners = "maintain"
diff --git a/teams/goal-owners.toml b/teams/goal-owners.toml
@@ -0,0 +1,37 @@
+# Auto-generated from the rust-project-goals repository
+name = "goal-owners"
+kind = "marker-team"
+
+[people]
+leads = []
+members = [
+    "BoxyUwU",
+    "GuillaumeGomez",
+    "Muscraft",
+    "Nadrieril",
+    "SparrowLii",
+    "ZuseZ4",
+    "blyxyas",
+    "celinval",
+    "Eh2406",
+    "epage",
+    "estebank",
+    "fee1-dead",
+    "hi-rustin",
+    "jkelleyrtp",
+    "joshtriplett",
+    "lcnr",
+    "lqd",
+    "nikomatsakis",
+    "notriddle",
+    "obi1kenobi",
+    "oli-obk",
+    "pnkfelix",
+    "tmandry",
+    "traviscross",
+    "weihanglo",
+]
+included-teams = []
+
+[[github]]
+orgs = ["rust-lang"]
