user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Remove clippy from some leftover lists of "possibly failing" tools

Browse source
This commit is contained in:
Oliver Scherer 2020-05-03 11:40:45 +02:00
parent 0a675c5e02
commit 675b585931
3 changed files with 1 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/tools/publish_toolstate.py
View file

@ -25,10 +25,6 @@ except ImportError:
# read privileges on it). CI will fail otherwise.
MAINTAINERS = {
'miri': {'oli-obk', 'RalfJung', 'eddyb'},
'clippy-driver': {
'Manishearth', 'llogiq', 'mcarton', 'oli-obk', 'phansch', 'flip1995',
'yaahc',
},
'rls': {'Xanewok'},
'rustfmt': {'topecongiro'},
'book': {'carols10cents', 'steveklabnik'},
@ -45,7 +41,6 @@ MAINTAINERS = {
REPOS = {
'miri': 'https://github.com/rust-lang/miri',
'clippy-driver': 'https://github.com/rust-lang/rust-clippy',
'rls': 'https://github.com/rust-lang/rls',
'rustfmt': 'https://github.com/rust-lang/rustfmt',
'book': 'https://github.com/rust-lang/book',