diff --git a/teams/compiler-contributors.toml b/teams/compiler-contributors.toml index a73c08180..42f7f10c9 100644 --- a/teams/compiler-contributors.toml +++ b/teams/compiler-contributors.toml @@ -12,7 +12,6 @@ members = [ "flodiebold", "jackh726", "jonas-schievink", - "LeSeulArtichaut", "lqd", "Mark-Simulacrum", "matklad", @@ -30,6 +29,7 @@ members = [ ] alumni = [ "Centril", + "LeSeulArtichaut", ] [permissions] diff --git a/teams/icebreakers-cleanup-crew.toml b/teams/icebreakers-cleanup-crew.toml index 3ccafcb75..b9dff8dc8 100644 --- a/teams/icebreakers-cleanup-crew.toml +++ b/teams/icebreakers-cleanup-crew.toml @@ -36,7 +36,6 @@ members = [ "elshize", "PeytonT", "RobertoSnap", - "LeSeulArtichaut", "MAdrianMattocks", "kanru", "smmalis37", diff --git a/teams/project-thir-unsafeck.toml b/teams/project-thir-unsafeck.toml index aeb013c17..4f80a6ddc 100644 --- a/teams/project-thir-unsafeck.toml +++ b/teams/project-thir-unsafeck.toml @@ -4,7 +4,7 @@ subteam-of = "compiler" [people] leads = ["nikomatsakis"] -members = ["LeSeulArtichaut", "nikomatsakis"] +members = ["nikomatsakis"] [website] name = "THIR Unsafety Checker Project Group" diff --git a/teams/wg-prioritization.toml b/teams/wg-prioritization.toml index 35d17d30f..4a2f2de89 100644 --- a/teams/wg-prioritization.toml +++ b/teams/wg-prioritization.toml @@ -19,7 +19,6 @@ members = [ "JohnTitor", "jyn514", "lcnr", - "LeSeulArtichaut", "mstallmo", "o0Ignition0o", "pnkfelix", @@ -31,6 +30,7 @@ members = [ ] alumni = [ "Centril", + "LeSeulArtichaut", "mark-i-m", ] diff --git a/teams/wg-rustc-dev-guide.toml b/teams/wg-rustc-dev-guide.toml index 744855a86..1e1793bf2 100644 --- a/teams/wg-rustc-dev-guide.toml +++ b/teams/wg-rustc-dev-guide.toml @@ -10,13 +10,12 @@ members = [ "togiberlin", "JohnTitor", "chrissimpkins", - "LeSeulArtichaut", "jyn514", "camelid", "igaray", "rylev", ] -alumni = ["mark-i-m", "Nashenas88"] +alumni = ["LeSeulArtichaut", "mark-i-m", "Nashenas88"] [[github]] orgs = ["rust-lang"] diff --git a/teams/wg-triage.toml b/teams/wg-triage.toml index 620bdd2a8..8c212f598 100644 --- a/teams/wg-triage.toml +++ b/teams/wg-triage.toml @@ -14,7 +14,6 @@ members = [ "bstrie", "crlf0710", "Muirrum", - "LeSeulArtichaut", "camelid", ]