Merge pull request #1661 from nikomatsakis/2025h1

update goal owners team
rust-lang · Feb 18, 2025 · c96fe57 · c96fe57
2 parents 5edaeb5 + 4cf8722
commit c96fe57
Show file tree

Hide file tree

Showing 6 changed files with 29 additions and 13 deletions.
diff --git a/people/1c3t3a.toml b/people/1c3t3a.toml
@@ -0,0 +1,3 @@
+name = "Bastian Kersting"
+github = "1c3t3a"
+github-id = 45260993
diff --git a/people/folkertdev.toml b/people/folkertdev.toml
@@ -0,0 +1,4 @@
+name = "Folkert de Vries"
+github = "folkertdev"
+github-id = 7949978
+zulip-id = 416089
diff --git a/people/jkelleyrtp.toml b/people/jkelleyrtp.toml
diff --git a/people/veluca93.toml b/people/veluca93.toml
@@ -0,0 +1,4 @@
+name = "Luca Versari"
+github = "veluca93"
+github-id = 1896483
+zulip-id = 733941
diff --git a/people/walterhpearce.toml b/people/walterhpearce.toml
@@ -0,0 +1,4 @@
+name = "walterhpearce"
+github = "walterhpearce"
+github-id = 123987141
+zulip-id = 584939
diff --git a/teams/goal-owners.toml b/teams/goal-owners.toml
@@ -5,30 +5,35 @@ kind = "marker-team"
 [people]
 leads = []
 members = [
+    "1c3t3a",
     "BoxyUwU",
-    "GuillaumeGomez",
     "Muscraft",
-    "Nadrieril",
     "SparrowLii",
     "ZuseZ4",
     "blyxyas",
     "celinval",
+    "chorman0773",
+    "davidtwco",
     "Eh2406",
     "epage",
-    "estebank",
-    "fee1-dead",
-    "Rustin170506",
-    "jkelleyrtp",
+    "folkertdev",
+    "jhpratt",
+    "jieyouxu",
+    "JoelMarcey",
     "joshtriplett",
+    "jswrenn",
     "lcnr",
     "lqd",
+    "m-ou-se",
     "nikomatsakis",
-    "notriddle",
     "obi1kenobi",
     "oli-obk",
+    "spastorino",
     "tmandry",
-    "traviscross",
-    "weihanglo",
+    "veluca93",
+    "walterhpearce",
+    "y86-dev",
+    "yaahc",
 ]
 included-teams = []