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

Move CraftSpider to rustdoc team alumnis #897

Merged
merged 1 commit into from
Nov 29, 2022

Conversation

GuillaumeGomez
Copy link
Member

@CraftSpider hasn't been very active in the last months. After discussing it with them and the team, they agreed to being moved to alumnis for the time being. Thanks a lot for all your work. We'd love to have you back on board in the future!

cc @rust-lang/rustdoc

Copy link
Member

@rylev rylev left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks ♥

@rylev rylev merged commit 06dd0d1 into rust-lang:master Nov 29, 2022
@GuillaumeGomez GuillaumeGomez deleted the craftspider-alumni branch November 29, 2022 14:07
ehuss added a commit to ehuss/rust that referenced this pull request Dec 28, 2022
CraftSpider was removed from the rustdoc team in rust-lang/team#897 and can no longer be assigned.
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Dec 29, 2022
Remove CraftSpider from review rotation

CraftSpider was removed from the rustdoc team in rust-lang/team#897 and can no longer be assigned.
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Dec 29, 2022
Remove CraftSpider from review rotation

CraftSpider was removed from the rustdoc team in rust-lang/team#897 and can no longer be assigned.
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.

2 participants