summaryrefslogtreecommitdiffstats
path: root/teams
diff options
context:
space:
mode:
authorNiko Matsakis <niko@alum.mit.edu>2019-09-12 10:42:58 -0400
committerNiko Matsakis <niko@alum.mit.edu>2019-09-12 10:42:58 -0400
commit8fd6411cc8c7fd7321e4c064b836dc7d3762d015 (patch)
treee0b0dc9a78bee97461312c8652f79d82e70b09a6 /teams
parent183c8b5308b1231019f9d230a9cce92d53d7ec5d (diff)
introduce the polonius working group
Also create a GH team, which we can use to give permissions to the polonius repository.
Diffstat (limited to 'teams')
-rw-r--r--teams/wg-polonius.toml15
1 files changed, 15 insertions, 0 deletions
diff --git a/teams/wg-polonius.toml b/teams/wg-polonius.toml
new file mode 100644
index 0000000..64b7aa0
--- /dev/null
+++ b/teams/wg-polonius.toml
@@ -0,0 +1,15 @@
+name = "wg-polonius"
+subteam-of = "compiler"
+wg = true
+
+[people]
+leads = ["lqd", "nikomatsakis"]
+members = ["lqd", "nikomatsakis", "albins"]
+
+[website]
+name = "Polonius"
+description = "Experimental work on a new borrow-checker implementation"
+repo = "https://rust-lang.github.io/compiler-team/working-groups/polonius/"
+
+[github]
+orgs = ["rust-lang"]