Skip to content

Rename ops team to infrastructure team #223

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
Nov 6, 2018
Merged

Rename ops team to infrastructure team #223

merged 1 commit into from
Nov 6, 2018

Conversation

ryankurte
Copy link
Contributor

Ambiguity between working group operations and ops / operations team was raised at the last meeting. This PR renames the ops team to the infrastructure team to remove that ambiguity, as suggested in #217 (comment).

Ambiguity between working group operations and `ops` / `operations` team was raised at the last meeting.
This renames the `ops` team to the `infrastructure` team to remove that ambiguity.
@ryankurte ryankurte requested a review from nastevens September 30, 2018 00:16
@ryankurte ryankurte requested review from dylanmckay, jcsoo and a team as code owners September 30, 2018 00:16
Copy link
Member

@jamesmunns jamesmunns left a comment

Choose a reason for hiding this comment

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

LGTM

Copy link
Member

@hannobraun hannobraun left a comment

Choose a reason for hiding this comment

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

Not sure if I'm supposed to vote, or if this is purely an ops/infrastructure team issue, but anyway, looks good to me.

Copy link
Member

@nastevens nastevens left a comment

Choose a reason for hiding this comment

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

Sounds good to me

Copy link
Member

@japaric japaric left a comment

Choose a reason for hiding this comment

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

👍

@nastevens
Copy link
Member

Can this RFC be merged per changes in #206? There are no outstanding issues and we're well over 33%.

@japaric japaric added the decision-accepted We voted on this proposal and accepted it label Nov 6, 2018
@japaric
Copy link
Member

japaric commented Nov 6, 2018

@nastevens this PR only needs majority from the team and no concerns from the other WG members so this is good to go!

bors r+

bors bot added a commit that referenced this pull request Nov 6, 2018
223: Rename ops team to infrastructure team r=japaric a=ryankurte

Ambiguity between working group operations and `ops` / `operations` team was raised at the last meeting. This PR renames the `ops` team to the `infrastructure` team to remove that ambiguity, as suggested in #217 (comment).

Co-authored-by: Ryan <[email protected]>
@bors
Copy link
Contributor

bors bot commented Nov 6, 2018

Build succeeded

@bors bors bot merged commit a841689 into master Nov 6, 2018
@bors bors bot deleted the rename-ops-to-infra branch November 6, 2018 18:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
decision-accepted We voted on this proposal and accepted it
Projects
None yet
Development

Successfully merging this pull request may close these issues.