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

goodbye, docs team #536

Merged
merged 4 commits into from
Mar 27, 2020
Merged

goodbye, docs team #536

merged 4 commits into from
Mar 27, 2020

Conversation

steveklabnik
Copy link
Member

No description provided.

@steveklabnik
Copy link
Member Author

r? @rust-lang/core

@GuillaumeGomez
Copy link
Member

Well, I guess I'll continue my PR on the std docs from the rustdoc team.

@steveklabnik
Copy link
Member Author

@GuillaumeGomez yep! we don't need a team to send in PRs.

@GuillaumeGomez
Copy link
Member

No but it's that's the first team I ever joined. There is a lot of history in the docs team and it's definitely sad for me to see it getting closed. :'(

@nikomatsakis
Copy link
Contributor

Are there changes e.g. to the website of teams report that are needed in light of this post?

@steveklabnik
Copy link
Member Author

Yes, we would probably want to make some PRs there, but I don't know how to move an entire team to alumni, if we even do that? I don't think this change makes any member into an alumni; everyone who's still on the team is on other teams.

@XAMPPRocky
Copy link
Member

@steveklabnik If you'd like I can make the PR and you can approve it?

@steveklabnik
Copy link
Member Author

That would be great!

@steveklabnik steveklabnik merged commit da888b0 into master Mar 27, 2020
@steveklabnik steveklabnik deleted the goodbye-docs-team branch March 27, 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.

6 participants