Rollup merge of #77863 - JohnTitor:remove-mark-i-m, r=pietroalbini

JohnTitor · ehuss · commit e21ccdc2e604 · 2020-10-14T16:18:57.000-07:00
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
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 = {

Original file line number	Diff line number	Diff line change
`@@ -33,7 +33,7 @@`
`33`	`33`	`'rust-by-example': {'steveklabnik', 'marioidival'},`
`34`	`34`	`'embedded-book': {'adamgreig', 'andre-richter', 'jamesmunns', 'therealprof'},`
`35`	`35`	`'edition-guide': {'ehuss', 'steveklabnik'},`
`36`		`- 'rustc-dev-guide': {'mark-i-m', 'spastorino', 'amanjeev', 'JohnTitor'},`
	`36`	`+ 'rustc-dev-guide': {'spastorino', 'amanjeev', 'JohnTitor'},`
`37`	`37`	`}`
`38`	`38`
`39`	`39`	`LABELS = {`