diff --git a/highfive/configs/rust-lang/rust-clippy.json b/highfive/configs/rust-lang/rust-clippy.json deleted file mode 100644 index 637182a7..00000000 --- a/highfive/configs/rust-lang/rust-clippy.json +++ /dev/null @@ -1,19 +0,0 @@ -{ - "groups": { - "all": [ - "@flip1995", - "@Manishearth", - "@llogiq", - "@giraffate", - "@xFrednet", - "@Alexendoo", - "@dswij", - "@Jarcho" - ] - }, - "dirs": { - ".github": ["@flip1995"] - }, - "contributing": "https://github.com/rust-lang/rust-clippy/blob/master/CONTRIBUTING.md", - "new_pr_labels": ["S-waiting-on-review"] -}