diff options
author | Niko Matsakis <niko@alum.mit.edu> | 2019-09-12 10:42:58 -0400 |
---|---|---|
committer | Niko Matsakis <niko@alum.mit.edu> | 2019-09-12 10:42:58 -0400 |
commit | 8fd6411cc8c7fd7321e4c064b836dc7d3762d015 (patch) | |
tree | e0b0dc9a78bee97461312c8652f79d82e70b09a6 /teams | |
parent | 183c8b5308b1231019f9d230a9cce92d53d7ec5d (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.toml | 15 |
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"] |