diff options
| author | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-10-13 04:08:07 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-13 04:08:07 +0900 |
| commit | 984f78b7ed49181ee0b6f5beefd52d170906b63c (patch) | |
| tree | f3ec161c4434c7b5da9fdf1380261026ab1b8f2f | |
| parent | 93ec29b0cb34c3d0e75292beb462e2651c9c74e0 (diff) | |
| parent | cabedfebcb1c8bc0ee7977999a95f67e15622de0 (diff) | |
| download | rust-984f78b7ed49181ee0b6f5beefd52d170906b63c.tar.gz rust-984f78b7ed49181ee0b6f5beefd52d170906b63c.zip | |
Rollup merge of #77863 - JohnTitor:remove-mark-i-m, r=pietroalbini
Remove `mark-i-m` from rustc-dev-guide maintainers They aren't a maintainer anymore and it causes failure on our CI now: https://github.com/rust-lang-ci/rust/runs/1243600577
| -rwxr-xr-x | src/tools/publish_toolstate.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index 33613e2dc10..7586f5aa3b5 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -33,7 +33,7 @@ MAINTAINERS = { 'rust-by-example': {'steveklabnik', 'marioidival'}, 'embedded-book': {'adamgreig', 'andre-richter', 'jamesmunns', 'therealprof'}, 'edition-guide': {'ehuss', 'steveklabnik'}, - 'rustc-dev-guide': {'mark-i-m', 'spastorino', 'amanjeev', 'JohnTitor'}, + 'rustc-dev-guide': {'spastorino', 'amanjeev', 'JohnTitor'}, } LABELS = { |