From f9916f834373c7b513c10a64a1e46028d7fcd875 Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Mon, 21 Aug 2023 07:40:26 -0700
Subject: [PATCH] Retire ides team

---
 teams/{ => archive}/ides.toml | 0
 teams/devtools.toml           | 1 -
 2 files changed, 1 deletion(-)
 rename teams/{ => archive}/ides.toml (100%)

diff --git a/teams/ides.toml b/teams/archive/ides.toml
similarity index 100%
rename from teams/ides.toml
rename to teams/archive/ides.toml
diff --git a/teams/devtools.toml b/teams/devtools.toml
index b492f12a1..d81656255 100644
--- a/teams/devtools.toml
+++ b/teams/devtools.toml
@@ -30,7 +30,6 @@ extra-teams = [
     "cargo",
     "clippy",
     "docs-rs",
-    "ides",
     "rustdoc",
     "rustfmt",
     "rustup",