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 | |
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')
-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-- | people/yaahc.toml | 4 |
7 files changed, 10 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/people/yaahc.toml b/people/yaahc.toml new file mode 100644 index 0000000..9ac1c07 --- /dev/null +++ b/people/yaahc.toml @@ -0,0 +1,4 @@ +name = 'Jane Lusby' +github = 'yaahc' +github-id = 1993852 +email = "jlusby42@gmail.com" |