Merge pull request #845 from BatmanAoD/wg-ffi-unwind-zulip-sync

`wg-ffi-unwind` zulip sync
rust-lang · Sep 27, 2022 · 362b0ac · 362b0ac
2 parents d7b563e + c4fa92c
commit 362b0ac
Show file tree

Hide file tree

Showing 6 changed files with 21 additions and 2 deletions.
diff --git a/people/Amanieu.toml b/people/Amanieu.toml
@@ -2,6 +2,7 @@ name = "Amanieu d'Antras"
 github = "Amanieu"
 github-id = 278509
 email = "[email protected]"
+zulip-id = 143274
 
 [permissions]
 bors.compiler-builtins.review = true
diff --git a/people/acfoltzer.toml b/people/acfoltzer.toml
@@ -2,3 +2,4 @@ name = 'Adam C. Foltzer'
 github = 'acfoltzer'
 github-id = 205266
 email = '[email protected]'
+zulip-id = 237472
diff --git a/people/chorman0773.toml b/people/chorman0773.toml
@@ -0,0 +1,4 @@
+name = 'Connor Horman'
+github = 'chorman0773'
+github-id = 5026283
+zulip-id = 257758
diff --git a/people/cratelyn.toml b/people/cratelyn.toml
@@ -0,0 +1,4 @@
+name = 'Katelyn Martin'
+github = 'cratelyn'
+github-id = 57912822
+zulip-id = 327458 
diff --git a/people/gnzlbg.toml b/people/gnzlbg.toml
@@ -1,6 +1,7 @@
 name = "gnzlbg"
 github = "gnzlbg"
 github-id = 904614
+zulip-id = 132920
 
 [permissions]
 bors.stdarch.review = true
diff --git a/teams/wg-ffi-unwind.toml b/teams/wg-ffi-unwind.toml
@@ -5,12 +5,17 @@ kind = "working-group"
 [people]
 leads = ["nikomatsakis", "acfoltzer", "BatmanAoD"]
 members = [
-    "acfoltzer",
     "Amanieu",
     "BatmanAoD",
+    "CAD97",
+    "acfoltzer",
+    "bjorn3",
+    "chorman0773",
+    "cratelyn",
     "gnzlbg",
-    "nikomatsakis",
     "nbdd0121",
+    "nikomatsakis",
+    "joshtriplett",
 ]
 
 [website]
@@ -21,3 +26,6 @@ zulip-stream = "project-ffi-unwind"
 
 [[github]]
 orgs = ["rust-lang"]
+
+[[zulip-groups]]
+name = "WG-ffi-unwind"