diff options
| author | Eric Huss <eric@huss.org> | 2025-01-23 09:28:32 -0800 |
|---|---|---|
| committer | Eric Huss <eric@huss.org> | 2025-01-23 09:28:40 -0800 |
| commit | 77d36c7d44c85de78aa3041d3b6905740f3214df (patch) | |
| tree | 87a87467b25938625b492637d4419fe9d5cc5104 /src/tools/publish_toolstate.py | |
| parent | fc0094f8d4eb91637ff540be7d9d87bfcdd2a208 (diff) | |
| download | rust-77d36c7d44c85de78aa3041d3b6905740f3214df.tar.gz rust-77d36c7d44c85de78aa3041d3b6905740f3214df.zip | |
Remove rustc-dev-guide
This is not tracked in toolstate.
Diffstat (limited to 'src/tools/publish_toolstate.py')
| -rwxr-xr-x | src/tools/publish_toolstate.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index a639dc20a60..5ba2c6b17c5 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -36,7 +36,6 @@ MAINTAINERS = { "rust-by-example": {"marioidival"}, "embedded-book": {"adamgreig", "andre-richter", "jamesmunns", "therealprof"}, "edition-guide": {"ehuss"}, - "rustc-dev-guide": {"spastorino", "amanjeev", "JohnTitor"}, } LABELS = { @@ -46,7 +45,6 @@ LABELS = { "rust-by-example": ["C-bug"], "embedded-book": ["C-bug"], "edition-guide": ["C-bug"], - "rustc-dev-guide": ["C-bug"], } REPOS = { @@ -56,7 +54,6 @@ REPOS = { "rust-by-example": "https://github.com/rust-lang/rust-by-example", "embedded-book": "https://github.com/rust-embedded/book", "edition-guide": "https://github.com/rust-lang/edition-guide", - "rustc-dev-guide": "https://github.com/rust-lang/rustc-dev-guide", } |