Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

nominate tmandry as co-lead of the language design team #1077

Merged
merged 1 commit into from
Sep 22, 2023

Conversation

nikomatsakis
Copy link
Contributor

@nikomatsakis nikomatsakis commented Sep 19, 2023

The lang team recently held its process to select the new co-lead, using the same process proposed by the compiler team. The result is that @tmandry has been nominated to serve as the new co-lead. To make it official, I'm going to conduct a T-lang FCP. Congratulations to @tmandry !

The lang team recently held its process to select the new co-lead, using the same process proposed by the compiler team. The result is that @tmandry has been nominated to serve as the new co-lead. To make it official, I'm going to conduct a T-lang FCP.
@nikomatsakis
Copy link
Contributor Author

@rustbot labels +T-lang

@rustbot
Copy link

rustbot commented Sep 19, 2023

Error: This repository is not enabled to use triagebot.
Add a triagebot.toml in the root of the default branch to enable it.

Please file an issue on GitHub at triagebot if there's a problem with this bot, or reach out on #t-infra on Zulip.

@nikomatsakis
Copy link
Contributor Author

nikomatsakis commented Sep 19, 2023

Oh, I guess I can't. Bother. Well, I'll do it by hand...

@scottmcm
Copy link
Member

@rfcbot reviewed

@joshtriplett
Copy link
Member

nikobot reviewed

@pnkfelix
Copy link
Member

@rfcbot reviewed

@tmandry
Copy link
Member

tmandry commented Sep 21, 2023

@nikomatsakis reviewed :)

@nikomatsakis
Copy link
Contributor Author

Woohoo!

@nikomatsakis
Copy link
Contributor Author

@rust-lang/core @rust-lang/infra -- not sure who has the perms to merge this now, but can somebody merge it :)

@Mark-Simulacrum Mark-Simulacrum merged commit 3ed5f50 into rust-lang:master Sep 22, 2023
1 check passed
@takkuumi
Copy link

Takumi reviewed lol

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

8 participants