Mention the clippy team when the clippy directory is touched

rust-lang / highfive

Github hooks to provide an encouraging atmosphere for new contributors

Apache License 2.0

185 stars 128 forks source link

Mention the clippy team when the clippy directory is touched #317

Closed oli-obk closed 3 years ago

oli-obk commented 3 years ago

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?