Skip to content
This repository was archived by the owner on Sep 30, 2020. It is now read-only.

Team updates #1098

Merged
merged 2 commits into from
May 13, 2018
Merged

Team updates #1098

merged 2 commits into from
May 13, 2018

Conversation

ashleygwilliams
Copy link
Member

No description provided.

@rust-highfive
Copy link

r? @steveklabnik

(rust_highfive has picked a reviewer for you, use r? to override)

@aidanhs
Copy link
Member

aidanhs commented May 3, 2018

r+ on infra changes

@ghost
Copy link

ghost commented May 4, 2018

hmm, is adding all subteam members to the community team in an umbrella fashion the way to go here? can't we do something akin to what the rustdoc team did? (which is to just add the subteams separately)

@ashleygwilliams
Copy link
Member Author

hey @oe it's sorta complicated... one of the reasons i'd like to do it as this first is because i would like to work through rust-community/team#232 before we do much more. the new website will have a much better structure- this is mostly a stopgap PR to make sure everyone is at least listed and then we'll either keep making adjustments here, or wait til the new site in august (which is not too far away!)

@ghost
Copy link

ghost commented May 4, 2018

okay! just asking in case anyone overlooked the possibility, but it looks like you have good reasoning

@@ -305,7 +328,7 @@ teams:
- name: Community team
Copy link

Choose a reason for hiding this comment

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

For the time being, this could say something like "Community team (including subteams)"

@ashleygwilliams ashleygwilliams merged commit 5baea2c into master May 13, 2018
@ashleygwilliams ashleygwilliams deleted the team-updates branch May 13, 2018 15:44
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants