Closed wuhuizuo closed 1 year ago
[REVIEW NOTIFICATION]
This pull request has been approved by:
To complete the pull request process, please ask the reviewers in the list to review by filling /cc @reviewer
in the comment.
After your PR has acquired the required number of LGTMs, you can assign this pull request to the committer in the list by filling /assign @committer
in the comment to help you merge this pull request.
The full list of commands accepted by this bot can be found here.
@wuhuizuo: You can't add the do-not-merge/needs-triage-completed
label, please rerun the check with /run-check-issue-triage-complete
.
/run-check-issue-triage-complete
/merge
This pull request has been accepted and is ready to merge.
Issue Number: ref #30