diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-06-27 22:35:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-27 22:35:11 +0200 |
| commit | 9f667994fdbc40285f670dd1ef8bcb4f6385dab7 (patch) | |
| tree | e1358c5bd98015e9d91d675643cc15550933cb02 /src | |
| parent | d0ae6ebe63913b56ddcb557e836e36b49136944a (diff) | |
| parent | dfb592a91d69d1df6d131deaf5b72d0341a0f9cc (diff) | |
| download | rust-9f667994fdbc40285f670dd1ef8bcb4f6385dab7.tar.gz rust-9f667994fdbc40285f670dd1ef8bcb4f6385dab7.zip | |
Rollup merge of #98578 - rust-lang:oli-obk-patch-1, r=eddyb
Remove eddyb from miri failure pings r? `@eddyb`
Diffstat (limited to 'src')
| -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 04a1d257bc0..fe5195738c1 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -30,7 +30,7 @@ except ImportError: # These should be collaborators of the rust-lang/rust repository (with at least # read privileges on it). CI will fail otherwise. MAINTAINERS = { - 'miri': {'oli-obk', 'RalfJung', 'eddyb'}, + 'miri': {'oli-obk', 'RalfJung'}, 'rls': {'Xanewok'}, 'rustfmt': {'topecongiro', 'calebcartwright'}, 'book': {'carols10cents', 'steveklabnik'}, |