Mention the clippy team when the clippy directory is touched

oli-obk · web-flow · commit 857bc413cc66 · 2021-03-18T13:40:11.000+01:00
cc @rust-lang/clippy is this going to overwhelm us with uninteresting pings? Or will this be helpful in tracking changes to clippy happening just from within rustc?
diff --git a/highfive/configs/rust-lang/rust.json b/highfive/configs/rust-lang/rust.json
@@ -103,6 +103,10 @@
             "message": "Some changes occurred in src/tools/rustfmt.",
             "reviewers": ["@calebcartwright"]
         }
+        "src/tools/clippy": {
+            "message": "Some changes occurred in src/tools/clippy.",
+            "reviewers": ["@rust-lang/clippy"]
+        }
     },
     "new_pr_labels": ["S-waiting-on-review"]
 }

Original file line number	Diff line number	Diff line change
`@@ -103,6 +103,10 @@`
`103`	`103`	`"message": "Some changes occurred in src/tools/rustfmt.",`
`104`	`104`	`"reviewers": ["@calebcartwright"]`
`105`	`105`	`}`
	`106`	`+ "src/tools/clippy": {`
	`107`	`+ "message": "Some changes occurred in src/tools/clippy.",`
	`108`	`+ "reviewers": ["@rust-lang/clippy"]`
	`109`	`+ }`
`106`	`110`	`},`
`107`	`111`	`"new_pr_labels": ["S-waiting-on-review"]`
`108`	`112`	`}`