Merge pull request #262 from flip1995/clippy

Add config file for Clippy
rust-lang · May 25, 2020 · 4966cef · 4966cef
2 parents ff457d4 + c0792bc
commit 4966cef
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/highfive/configs/rust-lang/rust-clippy.json b/highfive/configs/rust-lang/rust-clippy.json
@@ -0,0 +1,11 @@
+{
+    "groups": {
+        "all": ["@flip1995", "@Manishearth", "@matthiaskrgr", "@phansch", "@yaahc"]
+    },
+    "dirs": {
+        ".github": ["@flip1995"],
+        "clippy_dev": ["@phansch"]
+    },
+    "contributing": "https://github.com/rust-lang/rust-clippy/blob/master/CONTRIBUTING.md",
+    "new_pr_labels": ["S-waiting-on-review"]
+}