Skip to content

Conversation

DoyleLi
Copy link
Owner

@DoyleLi DoyleLi commented Oct 15, 2021

Signed-off-by: Xiaodong Li [email protected]

Signed-off-by: Xiaodong Li <[email protected]>
Signed-off-by: Xiaodong Li <[email protected]>
Signed-off-by: Xiaodong Li <[email protected]>
Signed-off-by: Xiaodong Li <[email protected]>
Signed-off-by: Xiaodong Li <[email protected]>
Signed-off-by: Xiaodong Li <[email protected]>
Signed-off-by: Xiaodong Li <[email protected]>
@DoyleLi
Copy link
Owner Author

DoyleLi commented Oct 20, 2021

/summary:run

1 similar comment
@DoyleLi
Copy link
Owner Author

DoyleLi commented Oct 20, 2021

/summary:run

@DoyleLi
Copy link
Owner Author

DoyleLi commented Oct 21, 2021

/merge

@bb-sycl
Copy link
Collaborator

bb-sycl commented Oct 21, 2021

Thu Oct 21 01:51:34 UTC 2021 --- Merge failed with error: Comment user is not in llvm_gatekeepers group or doesn't have merge right for target branch. Please contact with admins of the repo if there is any question.

@DoyleLi
Copy link
Owner Author

DoyleLi commented Oct 21, 2021

/merge

@bb-sycl
Copy link
Collaborator

bb-sycl commented Oct 21, 2021

Thu Oct 21 01:54:25 UTC 2021 --- Merge failed with error: Comment user is not in llvm_gatekeepers group or doesn't have merge right for target branch. Please contact with admins of the repo if there is any question.

@DoyleLi
Copy link
Owner Author

DoyleLi commented Oct 21, 2021

/merge

1 similar comment
@DoyleLi
Copy link
Owner Author

DoyleLi commented Oct 21, 2021

/merge

@bb-sycl
Copy link
Collaborator

bb-sycl commented Oct 21, 2021

Thu Oct 21 01:56:19 UTC 2021 --- Merge failed with error: Comment user is not in llvm_gatekeepers group or doesn't have merge right for target branch. Please contact with admins of the repo if there is any question.

1 similar comment
@bb-sycl
Copy link
Collaborator

bb-sycl commented Oct 21, 2021

Thu Oct 21 01:56:19 UTC 2021 --- Merge failed with error: Comment user is not in llvm_gatekeepers group or doesn't have merge right for target branch. Please contact with admins of the repo if there is any question.

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.

2 participants