From b3cd651e40e6293643620d9727ca6192e63dbde4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9my=20Rakic?= Date: Fri, 8 Sep 2023 13:09:29 +0000 Subject: [PATCH] move wg-polonius to t-types and move dylan to alumni --- teams/wg-polonius.toml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/teams/wg-polonius.toml b/teams/wg-polonius.toml index bedff3012..14e082942 100644 --- a/teams/wg-polonius.toml +++ b/teams/wg-polonius.toml @@ -1,4 +1,5 @@ name = "wg-polonius" +# Really should be "types", but the team repo doesn't handle that right now subteam-of = "compiler" kind = "working-group" @@ -10,7 +11,7 @@ members = ["lqd", "nikomatsakis", "amandasystems", "matthewjasper", "ecstatic-mo name = "Polonius working group" description = "Working on an experimental new borrow-checker implementation" repo = "https://rust-lang.github.io/compiler-team/working-groups/polonius/" -zulip-stream = "t-compiler/wg-polonius" +zulip-stream = "t-types/polonius" [[github]] orgs = ["rust-lang"]