Skip to content

Remove skade from governance group #288

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

Merged
merged 1 commit into from
Mar 5, 2020

Conversation

nikomatsakis
Copy link
Contributor

@skade has asked to step back from the governance working group. Thanks for your efforts, @skade!

@XAMPPRocky
Copy link
Member

XAMPPRocky commented Mar 5, 2020

@nikomatsakis Maybe we should add them to alumni instead of removing them? We have it implemented already on team (#287) and an open PR on the website (rust-lang/www.rust-lang.org#1025).

@nikomatsakis
Copy link
Contributor Author

Ah, I didn't know that was a thing already.

@nikomatsakis nikomatsakis force-pushed the remove-skade-from-wg-governance branch from f22026e to 338a0c8 Compare March 5, 2020 21:27
@skade has asked to step back from the governance working group. Thanks for your efforts, @skade!
@nikomatsakis nikomatsakis force-pushed the remove-skade-from-wg-governance branch from 338a0c8 to e47e8bc Compare March 5, 2020 21:28
@pietroalbini pietroalbini merged commit affefe7 into master Mar 5, 2020
@pietroalbini pietroalbini deleted the remove-skade-from-wg-governance branch March 5, 2020 22:47
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.

3 participants