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 b3cd651
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion teams/wg-polonius.toml
Original file line number Diff line number Diff line change
@@ -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"

Expand All @@ -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"]

0 comments on commit b3cd651

Please sign in to comment.