From 86c65b6212d9276d5e8ee08cd6a0449dd0d2732b Mon Sep 17 00:00:00 2001
From: Jack Huey <31162821+jackh726@users.noreply.github.com>
Date: Sun, 22 May 2022 13:29:54 -0400
Subject: [PATCH] Archive wg-traits and create types team

---
 teams/types.toml     | 31 +++++++++++++++++++++++++++++++
 teams/wg-traits.toml | 24 +++++++++++++++---------
 2 files changed, 46 insertions(+), 9 deletions(-)
 create mode 100644 teams/types.toml

diff --git a/teams/types.toml b/teams/types.toml
new file mode 100644
index 000000000..7e2d9fe0d
--- /dev/null
+++ b/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
diff --git a/teams/wg-traits.toml b/teams/wg-traits.toml
index 6721f9781..3a1f7b780 100644
--- a/teams/wg-traits.toml
+++ b/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