Remove CraftSpider from review rotation

ehuss · web-flow · commit 120d4fd09cae · 2022-12-28T10:08:48.000-08:00
CraftSpider was removed from the rustdoc team in rust-lang/team#897 and can no longer be assigned.
diff --git a/triagebot.toml b/triagebot.toml
@@ -496,7 +496,6 @@ infra-ci = [
 rustdoc = [
     "@jsha",
     "@GuillaumeGomez",
-    "@CraftSpider",
     "@notriddle",
 ]
 docs = [
