Skip to content

Conversation

@japaric
Copy link
Member

@japaric japaric commented Sep 13, 2018

this PR formalizes the ops team which pretty much have been just @nastevens
until recently but now they are being joined by @ryankurte.

@rust-embedded/all can you please approve (via GitHub reviews) this PR? We need
12 approvals to land this.

@japaric japaric requested review from a team, dylanmckay and jcsoo as code owners September 13, 2018 14:20
@japaric japaric added the needs-decision This RFC or PR needs to be approved by the majority of reviewers before it's merged label Sep 13, 2018
Copy link

@jcsoo jcsoo left a comment

Choose a reason for hiding this comment

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

LGTM

@jamesmunns jamesmunns self-requested a review September 13, 2018 15:04
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, welcome @nastevens!

Edit: Oh, right, you're already on the embedded linux team. 😅

@awygle awygle self-requested a review September 13, 2018 22:37
@japaric japaric added decision-accepted We voted on this proposal and accepted it and removed needs-decision This RFC or PR needs to be approved by the majority of reviewers before it's merged labels Sep 14, 2018
@japaric
Copy link
Member Author

japaric commented Sep 14, 2018

Thanks everyone for voting. This has reached 12 approvals so I'm going to merge it.

bors r+

bors bot added a commit that referenced this pull request Sep 14, 2018
209: initial ops team r=japaric a=japaric

this PR formalizes the ops team which pretty much have been just @nastevens
until recently but now they are being joined by @ryankurte.

@rust-embedded/all can you please approve (via GitHub reviews) this PR? We need
12 approvals to land this.

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

bors bot commented Sep 14, 2018

Build succeeded

@bors bors bot merged commit 0cced34 into master Sep 14, 2018
@bors bors bot deleted the ops branch September 14, 2018 13:40
@japaric
Copy link
Member Author

japaric commented Sep 14, 2018

btw, @nastevens, you can transfer the provisioning repo whenever you are ready

@adamgreig adamgreig mentioned this pull request Oct 16, 2023
25 tasks
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.