From 120d4fd09cae4cf754ef3b24645b9ba6111d6021 Mon Sep 17 00:00:00 2001 From: Eric Huss Date: Wed, 28 Dec 2022 10:08:48 -0800 Subject: [PATCH] Remove CraftSpider from review rotation CraftSpider was removed from the rustdoc team in https://github.com/rust-lang/team/pull/897 and can no longer be assigned. --- triagebot.toml | 1 - 1 file changed, 1 deletion(-) diff --git a/triagebot.toml b/triagebot.toml index 22f09396efc6a..0da9fcddad8d7 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -496,7 +496,6 @@ infra-ci = [ rustdoc = [ "@jsha", "@GuillaumeGomez", - "@CraftSpider", "@notriddle", ] docs = [