Merge pull request #1056 from rylev/update-survey-wg

Update the survey working group membership
rust-lang · Aug 29, 2023 · 089945d · 089945d
2 parents f687023 + 7e2151d
commit 089945d
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 6 deletions.
diff --git a/people/graciegregory.toml b/people/graciegregory.toml
@@ -0,0 +1,5 @@
+name = "graciegregory"
+email = "[email protected]"
+github = "graciegregory"
+github-id = 45044840
+zulip-id = 552628
diff --git a/teams/community-survey.toml b/teams/community-survey.toml
@@ -3,12 +3,8 @@ subteam-of = "community"
 
 [people]
 leads = ["rylev"]
-members = [
-    "nikomatsakis",
-    "nrc",
-    "rylev",
-    "yaahc",
-]
+members = ["rylev", "graciegregory", "Kobzol", "apiraino"]
+alumni = ["nikomatsakis", "nrc", "yaahc"]
 
 [website]
 name = "Survey team"