Merge pull request #104 from Manishearth/clippy

Manishearth · web-flow · commit 31a32fefeea7 · 2019-09-01T08:10:57.000-07:00
Move clippy reviewers to team, add Yaah, remove Georg
diff --git 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
@@ -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
@@ -1,6 +1,4 @@
 name = "Matthias Krüger"
 github = "matthiaskrgr"
 github-id = 476013
-
-[permissions]
-bors.clippy.review = true
+email = "matthias.krueger@famsik.de"
diff --git 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
@@ -1,6 +1,4 @@
 name = "mikerite"
 github = "mikerite"
 github-id = 33983332
-
-[permissions]
-bors.clippy.review = true
+email = "mikerite@lavabit.com"
diff --git 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
@@ -0,0 +1,4 @@
+name = 'Jane Lusby'
+github = 'yaahc'
+github-id = 1993852
+email = "jlusby42@gmail.com"
diff --git a/teams/alumni.toml b/teams/alumni.toml
@@ -7,6 +7,7 @@ members = [
     "Aatch",
     "alercah",
     "arielb1",
+    "birkenfeld",
     "bkoropoff",
     "booyaa",
     "brson",
diff --git a/teams/clippy.toml b/teams/clippy.toml
@@ -8,6 +8,12 @@ members = [
     "killercup",
     "Manishearth",
     "oli-obk",
+    "matthiaskrgr",
+    "phansch",
+    "mikerite",
+    "flip1995",
+    "mcarton",
+    "yaahc",
 ]
 
 [permissions]

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +name = 'Jane Lusby'
 +github = 'yaahc'
 +github-id = 1993852
 +email = "[email protected]"