mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-07 17:18:32 +03:00
Rollup merge of #106225 - ehuss:ehuss-patch-1, r=GuillaumeGomez
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.
This commit is contained in:
@@ -496,7 +496,6 @@ infra-ci = [
|
||||
rustdoc = [
|
||||
"@jsha",
|
||||
"@GuillaumeGomez",
|
||||
"@CraftSpider",
|
||||
"@notriddle",
|
||||
]
|
||||
docs = [
|
||||
|
||||
Reference in New Issue
Block a user