Archive wg-traits and create types team

Author: jackh726

teams/types.toml

@@ -0,0 +1,31 @@
+name = "types"
+# Really should be compiler + lang, but the team repo doesn't handle that
+# right now
+subteam-of = "compiler"
+
+[people]
+leads = ["nikomatsakis", "jackh726"]
+members = [
+    "compiler-errors",
+    "jackh726",
+    "lcnr",
+    "nikomatsakis",
+    "oli-obk",
+    "spastorino",
+]
+alumni = []
+
+[website]
+name = "Types team"
+description = "Working to implement and formally define the semantics of the Rust language"
+repo = "https://github.com/rust-lang/types-team"
+zulip-stream = "t-types"
+
+[[github]]
+orgs = ["rust-lang", "rust-lang-nursery"]
+
+[[zulip-groups]] 
+name = "T-types"
+
+[permissions]
+bors.chalk.review = true

teams/wg-traits.toml

@@ -1,3 +1,9 @@
+# Note: this has effectively been replaced by the types team
+# This team remains until we figure out what to do with archived teams that have
+# members only on that archived team. (CI currently expects that every member be
+# on at least one non-archived team.)
+# After that, we want to archive this to recognize the various people that
+# contributed while the group was under the "wg-traits" label. Thanks!
 name = "wg-traits"
 subteam-of = "compiler"
 kind = "working-group"
@@ -27,14 +33,14 @@ alumni = [
     "zaharidichev",
 ]
 
-[website]
-name = "Traits working group"
-description = "Improving the trait checker and related language features"
-repo = "https://github.com/rust-lang/wg-traits"
-zulip-stream = "wg-traits"
+#[website]
+#name = "Traits working group"
+#description = "Improving the trait checker and related language features"
+#repo = "https://github.com/rust-lang/wg-traits"
+#zulip-stream = "wg-traits"
 
-[[github]]
-orgs = ["rust-lang", "rust-lang-nursery"]
+#[[github]]
+#orgs = ["rust-lang", "rust-lang-nursery"]
 
-[permissions]
-bors.chalk.review = true
+#[permissions]
+#bors.chalk.review = true