Skip to content

Commit

Permalink
move wg-polonius to t-types
Browse files Browse the repository at this point in the history
and move dylan to alumni
  • Loading branch information
lqd committed Sep 8, 2023
1 parent 335b010 commit c157e9e
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions teams/wg-polonius.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,5 @@
name = "wg-polonius"
subteam-of = "compiler"
kind = "working-group"
subteam-of = "types"

[people]
leads = ["lqd", "nikomatsakis"]
Expand All @@ -10,7 +9,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"]

0 comments on commit c157e9e

Please sign in to comment.