diff options
author | Manish Goregaokar <manishsmail@gmail.com> | 2019-09-01 08:10:57 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-01 08:10:57 -0700 |
commit | 31a32fefeea7e03f196c8d3364448948c50d2cf0 (patch) | |
tree | 27e087452098e47a950c509b207730d3320e966e /people/mcarton.toml | |
parent | 1f4dca20edb464ff0cdd727793b190a9381687af (diff) | |
parent | 3df25a72b0ab07716eb984237647401ecc72a244 (diff) |
Merge pull request #104 from Manishearth/clippy
Move clippy reviewers to team, add Yaah, remove Georg
Diffstat (limited to 'people/mcarton.toml')
-rw-r--r-- | people/mcarton.toml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/people/mcarton.toml b/people/mcarton.toml index d0227f7..d81d3c8 100644 --- a/people/mcarton.toml +++ b/people/mcarton.toml @@ -1,6 +1,5 @@ name = "Martin Carton" github = "mcarton" github-id = 3751788 +email = "cartonmartin@gmail.com" -[permissions] -bors.clippy.review = true |