From 9148a1f60b29f99a000fd250a60b39faaa8e1516 Mon Sep 17 00:00:00 2001 From: Kyle Strand Date: Sun, 11 Sep 2022 17:57:56 -0600 Subject: [PATCH 01/10] add zulip group name --- teams/wg-ffi-unwind.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/teams/wg-ffi-unwind.toml b/teams/wg-ffi-unwind.toml index dda78a592..0df01c248 100644 --- a/teams/wg-ffi-unwind.toml +++ b/teams/wg-ffi-unwind.toml @@ -20,3 +20,6 @@ zulip-stream = "project-ffi-unwind" [[github]] orgs = ["rust-lang"] + +[[zulip-groups]] +name = "WG-ffi-unwind" From 5af85861f0ddec300bff240a0c39ee9b1cc67368 Mon Sep 17 00:00:00 2001 From: Kyle Strand Date: Sun, 11 Sep 2022 18:05:38 -0600 Subject: [PATCH 02/10] add people with existing entries --- teams/wg-ffi-unwind.toml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/teams/wg-ffi-unwind.toml b/teams/wg-ffi-unwind.toml index 3a79f0ea8..893d0a7b8 100644 --- a/teams/wg-ffi-unwind.toml +++ b/teams/wg-ffi-unwind.toml @@ -5,12 +5,15 @@ kind = "working-group" [people] leads = ["nikomatsakis", "acfoltzer", "BatmanAoD"] members = [ - "acfoltzer", "Amanieu", "BatmanAoD", + "CAD97", + "acfoltzer", + "bjorn3", "gnzlbg", - "nikomatsakis", "nbdd0121", + "nikomatsakis", + "joshtriplett", ] [website] From 9fca1dad1a0e8f4cbc41ba88372f15eb08e00af4 Mon Sep 17 00:00:00 2001 From: Kyle Strand Date: Sun, 11 Sep 2022 18:05:53 -0600 Subject: [PATCH 03/10] create entry for Katelyn Martin --- people/cratelyn.toml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 people/cratelyn.toml diff --git a/people/cratelyn.toml b/people/cratelyn.toml new file mode 100644 index 000000000..811f10d85 --- /dev/null +++ b/people/cratelyn.toml @@ -0,0 +1,3 @@ +name = 'katelyn martin' +github = 'cratelyn' +github-id = 57912822 From 9268ce160eaabcb6c0a844c411b6d1551e02d749 Mon Sep 17 00:00:00 2001 From: Kyle Strand Date: Sun, 11 Sep 2022 18:16:06 -0600 Subject: [PATCH 04/10] add Katelyn Martin --- teams/wg-ffi-unwind.toml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/teams/wg-ffi-unwind.toml b/teams/wg-ffi-unwind.toml index 893d0a7b8..877f06136 100644 --- a/teams/wg-ffi-unwind.toml +++ b/teams/wg-ffi-unwind.toml @@ -10,6 +10,7 @@ members = [ "CAD97", "acfoltzer", "bjorn3", + "cratelyn", "gnzlbg", "nbdd0121", "nikomatsakis", @@ -27,3 +28,6 @@ orgs = ["rust-lang"] [[zulip-groups]] name = "WG-ffi-unwind" + +# Katelynn Martin has two Zulip accounts. +extra-zulip-ids = [ 327458 ] From 67bf048c6ca47335d92c7fd1039051b3855b428f Mon Sep 17 00:00:00 2001 From: Kyle Strand Date: Sun, 11 Sep 2022 18:16:11 -0600 Subject: [PATCH 05/10] add Zulip IDs --- people/Amanieu.toml | 1 + people/acfoltzer.toml | 1 + people/cratelyn.toml | 3 ++- people/gnzlbg.toml | 1 + 4 files changed, 5 insertions(+), 1 deletion(-) diff --git a/people/Amanieu.toml b/people/Amanieu.toml index d1e14afd3..a45e4f1d5 100644 --- a/people/Amanieu.toml +++ b/people/Amanieu.toml @@ -2,6 +2,7 @@ name = "Amanieu d'Antras" github = "Amanieu" github-id = 278509 email = "amanieu@gmail.com" +zulip-id = 143274 [permissions] bors.compiler-builtins.review = true diff --git a/people/acfoltzer.toml b/people/acfoltzer.toml index 845833ec2..41e80cdf4 100644 --- a/people/acfoltzer.toml +++ b/people/acfoltzer.toml @@ -2,3 +2,4 @@ name = 'Adam C. Foltzer' github = 'acfoltzer' github-id = 205266 email = 'acfoltzer@acfoltzer.net' +zulip-id = acfoltzer diff --git a/people/cratelyn.toml b/people/cratelyn.toml index 811f10d85..3f212eff6 100644 --- a/people/cratelyn.toml +++ b/people/cratelyn.toml @@ -1,3 +1,4 @@ -name = 'katelyn martin' +name = 'Katelyn Martin' github = 'cratelyn' github-id = 57912822 +zulip-id = 257364 diff --git a/people/gnzlbg.toml b/people/gnzlbg.toml index 5375f7bff..2177dfee2 100644 --- 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 From 339ac3d16d05b1e16db268a259e8e970e942f411 Mon Sep 17 00:00:00 2001 From: Kyle Strand Date: Sun, 11 Sep 2022 18:41:08 -0600 Subject: [PATCH 06/10] fix zulip ID for acfoltzer --- people/acfoltzer.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/people/acfoltzer.toml b/people/acfoltzer.toml index 41e80cdf4..cabc3d714 100644 --- a/people/acfoltzer.toml +++ b/people/acfoltzer.toml @@ -2,4 +2,4 @@ name = 'Adam C. Foltzer' github = 'acfoltzer' github-id = 205266 email = 'acfoltzer@acfoltzer.net' -zulip-id = acfoltzer +zulip-id = 237472 From ba31448663e2153c79e9a7954b8482675faac710 Mon Sep 17 00:00:00 2001 From: Kyle Strand Date: Sun, 11 Sep 2022 18:41:41 -0600 Subject: [PATCH 07/10] add Conor Horman --- people/chorman0773.toml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 people/chorman0773.toml diff --git a/people/chorman0773.toml b/people/chorman0773.toml new file mode 100644 index 000000000..eb6c66385 --- /dev/null +++ b/people/chorman0773.toml @@ -0,0 +1,3 @@ +name = 'Connor Horman' +github = 'chorman0773' +github-id = 5026283 From 4873c9e3f306bbe74a8bcb770f518ade3cf03490 Mon Sep 17 00:00:00 2001 From: Kyle Strand Date: Sun, 11 Sep 2022 18:42:09 -0600 Subject: [PATCH 08/10] chorman0773's zulip --- people/chorman0773.toml | 1 + 1 file changed, 1 insertion(+) diff --git a/people/chorman0773.toml b/people/chorman0773.toml index eb6c66385..94c4a0dc3 100644 --- a/people/chorman0773.toml +++ b/people/chorman0773.toml @@ -1,3 +1,4 @@ name = 'Connor Horman' github = 'chorman0773' github-id = 5026283 +zulip-id = 257758 From a3b3cbac5d4b3a76e4987f895d049e6837ce99dc Mon Sep 17 00:00:00 2001 From: Kyle Strand Date: Sun, 11 Sep 2022 18:42:48 -0600 Subject: [PATCH 09/10] Connor Horman is in wg-ffi-unwind --- teams/wg-ffi-unwind.toml | 1 + 1 file changed, 1 insertion(+) diff --git a/teams/wg-ffi-unwind.toml b/teams/wg-ffi-unwind.toml index 877f06136..453ce9e3a 100644 --- a/teams/wg-ffi-unwind.toml +++ b/teams/wg-ffi-unwind.toml @@ -10,6 +10,7 @@ members = [ "CAD97", "acfoltzer", "bjorn3", + "chorman0773", "cratelyn", "gnzlbg", "nbdd0121", From c4fa92c3792499662670aa8737e429a2600297a0 Mon Sep 17 00:00:00 2001 From: Kyle Strand Date: Wed, 21 Sep 2022 17:22:16 -0600 Subject: [PATCH 10/10] remove cratelyn's unused zulip --- people/cratelyn.toml | 2 +- teams/wg-ffi-unwind.toml | 3 --- 2 files changed, 1 insertion(+), 4 deletions(-) diff --git a/people/cratelyn.toml b/people/cratelyn.toml index 3f212eff6..5e8311edc 100644 --- a/people/cratelyn.toml +++ b/people/cratelyn.toml @@ -1,4 +1,4 @@ name = 'Katelyn Martin' github = 'cratelyn' github-id = 57912822 -zulip-id = 257364 +zulip-id = 327458 diff --git a/teams/wg-ffi-unwind.toml b/teams/wg-ffi-unwind.toml index 453ce9e3a..4d5596094 100644 --- a/teams/wg-ffi-unwind.toml +++ b/teams/wg-ffi-unwind.toml @@ -29,6 +29,3 @@ orgs = ["rust-lang"] [[zulip-groups]] name = "WG-ffi-unwind" - -# Katelynn Martin has two Zulip accounts. -extra-zulip-ids = [ 327458 ]