diff options
author | Manish Goregaokar <manishsmail@gmail.com> | 2019-08-31 23:57:33 -0700 |
---|---|---|
committer | Manish Goregaokar <manishsmail@gmail.com> | 2019-09-01 02:39:06 -0700 |
commit | f4b870373daeafbec64968f1c7d097f15bf6cb81 (patch) | |
tree | e29cb96c15c68020ac8a62359de1ab1843a27194 | |
parent | 1f4dca20edb464ff0cdd727793b190a9381687af (diff) |
Move clippy reviewers to team
-rw-r--r-- | people/birkenfeld.toml | 4 | ||||
-rw-r--r-- | people/flip1995.toml | 4 | ||||
-rw-r--r-- | people/matthiaskrgr.toml | 4 | ||||
-rw-r--r-- | people/mcarton.toml | 3 | ||||
-rw-r--r-- | people/mikerite.toml | 4 | ||||
-rw-r--r-- | people/phansch.toml | 4 | ||||
-rw-r--r-- | teams/clippy.toml | 6 |
7 files changed, 12 insertions, 17 deletions
diff --git a/people/birkenfeld.toml b/people/birkenfeld.toml index a095d60..f172e2f 100644 --- a/people/birkenfeld.toml +++ b/people/birkenfeld.toml @@ -1,6 +1,4 @@ name = "Georg Brandl" github = "birkenfeld" github-id = 144359 - -[permissions] -bors.clippy.review = true +email = "georg@python.org" diff --git a/people/flip1995.toml b/people/flip1995.toml index 8b6f9bf..6de8f47 100644 --- a/people/flip1995.toml +++ b/people/flip1995.toml @@ -1,6 +1,4 @@ name = "Philipp Krones" github = "flip1995" github-id = 9744647 - -[permissions] -bors.clippy.review = true +email = "hello@philkrones.com" diff --git a/people/matthiaskrgr.toml b/people/matthiaskrgr.toml index 6c0bdf0..5839bcf 100644 --- a/people/matthiaskrgr.toml +++ b/people/matthiaskrgr.toml @@ -1,6 +1,4 @@ name = "Matthias Krüger" github = "matthiaskrgr" github-id = 476013 - -[permissions] -bors.clippy.review = true +email = "matthias.krueger@famsik.de"
\ No newline at end of file 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 diff --git a/people/mikerite.toml b/people/mikerite.toml index 43223e4..22c0126 100644 --- a/people/mikerite.toml +++ b/people/mikerite.toml @@ -1,6 +1,4 @@ name = "mikerite" github = "mikerite" github-id = 33983332 - -[permissions] -bors.clippy.review = true +email = "mikerite@lavabit.com"
\ No newline at end of file diff --git a/people/phansch.toml b/people/phansch.toml index 678ccb9..f46c5d4 100644 --- a/people/phansch.toml +++ b/people/phansch.toml @@ -1,6 +1,4 @@ name = "Philipp Hansch" github = "phansch" github-id = 2042399 - -[permissions] -bors.clippy.review = true +email = "dev@phansch.net" diff --git a/teams/clippy.toml b/teams/clippy.toml index 0b7ae88..a460ad9 100644 --- a/teams/clippy.toml +++ b/teams/clippy.toml @@ -8,6 +8,12 @@ members = [ "killercup", "Manishearth", "oli-obk", + "matthiaskrgr", + "phansch", + "birkenfeld", + "mikerite", + "flip1995", + "mcarton", ] [permissions] |