Rollup merge of rust-lang#106225 - ehuss:ehuss-patch-1, r=GuillaumeGomez

Remove CraftSpider from review rotation CraftSpider was removed from the rustdoc team in rust-lang/team#897 and can no longer be assigned.
matthiaskrgr · Dec 29, 2022 · 58d183e · 58d183e
2 parents 77766d5 + 120d4fd
commit 58d183e
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 = [