From 2cce0556e7b0c3c2254efc2d8ccc07d0ef87230f Mon Sep 17 00:00:00 2001 From: Ryan Levick Date: Tue, 29 Aug 2023 22:48:26 +0200 Subject: [PATCH] Add @technetos to the leadership council --- people/technetos.toml | 1 + teams/leadership-council.toml | 5 ++--- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/people/technetos.toml b/people/technetos.toml index aa951b690..7aeb20857 100644 --- a/people/technetos.toml +++ b/people/technetos.toml @@ -3,3 +3,4 @@ github = "technetos" github-id = 10949810 email = "me@technetos.email" discord-id = 443810603417731092 +zulip-id = 259089 diff --git a/teams/leadership-council.toml b/teams/leadership-council.toml index a07069bd9..4890aab99 100644 --- a/teams/leadership-council.toml +++ b/teams/leadership-council.toml @@ -11,10 +11,9 @@ members = [ "Mark-Simulacrum", "m-ou-se", "rylev", + "technetos", ] -alumni = [ - "khionu", -] +alumni = ["khionu"] [[github]] orgs = ["rust-lang", "rust-lang-nursery"]