diff --git a/teams/clippy-contributors.toml b/teams/clippy-contributors.toml index b3cad0036..a956745bf 100644 --- a/teams/clippy-contributors.toml +++ b/teams/clippy-contributors.toml @@ -6,11 +6,12 @@ leads = [] members = [ "GuillaumeGomez", "J-ZhengLi", - "m-rph", "pitaj", "samueltardieu", ] -alumni = [] +alumni = [ + "m-rph", +] [[github]] orgs = ["rust-lang"] diff --git a/teams/clippy.toml b/teams/clippy.toml index 18af94e16..56e9b3c35 100644 --- a/teams/clippy.toml +++ b/teams/clippy.toml @@ -8,7 +8,6 @@ members = [ "Manishearth", "matthiaskrgr", "flip1995", - "giraffate", "xFrednet", "Alexendoo", "dswij", @@ -26,6 +25,7 @@ alumni = [ "phansch", "camsteffen", "birkenfeld", + "giraffate", ] [permissions]