mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Remove eddyb from miri failure pings

Browse Source
This commit is contained in:
Oli Scherer 2022-06-27 16:08:19 +02:00 committed by GitHub
parent bd2e51a338
commit dfb592a91d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/publish_toolstate.py
View File

@ -30,7 +30,7 @@ except ImportError:
# These should be collaborators of the rust-lang/rust repository (with at least # These should be collaborators of the rust-lang/rust repository (with at least
# read privileges on it). CI will fail otherwise. # read privileges on it). CI will fail otherwise.
MAINTAINERS = { MAINTAINERS = {
'miri': {'oli-obk', 'RalfJung', 'eddyb'}, 'miri': {'oli-obk', 'RalfJung'},
'rls': {'Xanewok'}, 'rls': {'Xanewok'},
'rustfmt': {'topecongiro', 'calebcartwright'}, 'rustfmt': {'topecongiro', 'calebcartwright'},
'book': {'carols10cents', 'steveklabnik'}, 'book': {'carols10cents', 'steveklabnik'},