Remove CraftSpider from review rotation

CraftSpider was removed from the rustdoc team in rust-lang/team#897 and can no longer be assigned.
ehuss · Dec 28, 2022 · 120d4fd · 120d4fd
1 parent 83a28ef
commit 120d4fd
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/triagebot.toml b/triagebot.toml
@@ -496,7 +496,6 @@ infra-ci = [
 rustdoc = [
     "@jsha",
     "@GuillaumeGomez",
-    "@CraftSpider",
     "@notriddle",
 ]
 docs = [