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

Add Shing Lyu as a reviewer #512

Merged
merged 1 commit into from
Oct 20, 2016
Merged

Conversation

larsbergstrom
Copy link
Contributor

@larsbergstrom larsbergstrom commented Oct 19, 2016

r? @jdm

Shing has reviewed several large changes to the etc/ci directories in Servo and continues to expand his expertise and interest in learning to review for even more areas!

cc @shinglyu


This change is Reviewable

@KiChjang
Copy link
Contributor

+1 from me. 恭喜 @shinglyu!

@jdm
Copy link
Member

jdm commented Oct 20, 2016

@bors-servo: r+
Well deserved!

@bors-servo
Copy link
Contributor

📌 Commit b0e242b has been approved by jdm

@bors-servo
Copy link
Contributor

⌛ Testing commit b0e242b with merge 4bb7c5f...

bors-servo pushed a commit that referenced this pull request Oct 20, 2016
Add Shing Lyu as a reviewer

r? @jdm

Shing has reviewed several large changes to the `etc/ci` directories in Servo and continues to expand his expertise and interest in learning to review for even more areas!

cc @shinglyu

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/saltfs/512)
<!-- Reviewable:end -->
@emilio
Copy link
Member

emilio commented Oct 20, 2016

Yay!

Cogratulations Shing! :)

On Wed, Oct 19, 2016 at 05:06:31PM -0700, Josh Matthews wrote:

@bors-servo: r+
Well deserved!

You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
#512 (comment)

@bors-servo
Copy link
Contributor

💡 This pull request was already approved, no need to approve it again.

  • This pull request is currently being tested. If there's no response from the continuous integration service, you may use retry to trigger a build again.

@bors-servo
Copy link
Contributor

📌 Commit b0e242b has been approved by emilio

@highfive highfive assigned emilio and unassigned jdm Oct 20, 2016
@emilio
Copy link
Member

emilio commented Oct 20, 2016

What? Bors went crazy when I replied by email, sigh.

@bors-servo: r- r=jdm

@bors-servo
Copy link
Contributor

💡 This pull request was already approved, no need to approve it again.

  • This pull request is currently being tested. If there's no response from the continuous integration service, you may use retry to trigger a build again.

@bors-servo
Copy link
Contributor

📌 Commit b0e242b has been approved by jdm

@bors-servo
Copy link
Contributor

☀️ Test successful - status-travis

@bors-servo bors-servo merged commit b0e242b into servo:master Oct 20, 2016
@astleychen
Copy link

Congrats~Shing!

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.

None yet

7 participants