-
Notifications
You must be signed in to change notification settings - Fork 455
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 hougangliu as a reviewer #310
Conversation
/assign @YujiOshima @richardsliu @jlewi |
👍 |
@@ -9,3 +9,4 @@ reviewers: | |||
- libbyandhelen |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Can you fix the indentation; these items should not be indented relative to jose5918.
@jlewi It is very strange that all reviewers keep same indentation in my local repo, but in GitHub review page it looks these items are indented relative to jose5918. |
Is there a mix of tabs and spaces? |
@jlewi I verified that all indentations are spaces. When I |
/retest |
/lgtm |
[APPROVALNOTIFIER] This PR is APPROVED This pull-request has been approved by: richardsliu The full list of commands accepted by this bot can be found here. The pull request process is described here
Needs approval from an approver in each of these files:
Approvers can indicate their approval by writing |
This change is