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"]