Rollup merge of rust-lang#77863 - JohnTitor:remove-mark-i-m, r=pietro…

…albini 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
rust-lang-ci · Oct 12, 2020 · 984f78b · 984f78b
2 parents 93ec29b + cabedfe
commit 984f78b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py
@@ -33,7 +33,7 @@
     '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 = {