diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-07-20 14:34:31 +0200 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-08-14 16:18:43 +0200 |
commit | e82052d9cded6d0404d7e593895d12b34be92b55 (patch) | |
tree | ad14d928ed553256c928bf083e5e40773472a427 /teams/clippy.toml | |
parent | a17ec550e03f71798ff2c87ff5a2fa82664e2a39 (diff) |
sync the clippy team with github
Diffstat (limited to 'teams/clippy.toml')
-rw-r--r-- | teams/clippy.toml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/teams/clippy.toml b/teams/clippy.toml index a0d2237..0b7ae88 100644 --- a/teams/clippy.toml +++ b/teams/clippy.toml @@ -13,6 +13,9 @@ members = [ [permissions] bors.clippy.review = true +[github] +orgs = ["rust-lang"] + [website] name = "Clippy" description = "design and implementation of the Clippy linter" |