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

[sandbox] pull_request handling #1

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Conversation

xunleii
Copy link
Owner

@xunleii xunleii commented Aug 25, 2021

No description provided.

@xunleii xunleii changed the title sandbox: add trigger file [sandbox] pull_request handling Aug 25, 2021
@xunleii xunleii force-pushed the pull_requests-sandbox branch 2 times, most recently from 4053429 to c471ac5 Compare August 25, 2021 20:33
@xunleii xunleii force-pushed the main branch 18 times, most recently from 10e513f to 1bc2521 Compare August 26, 2021 19:42
@xunleii
Copy link
Owner Author

xunleii commented Sep 26, 2021

/assign me

@xunleii
Copy link
Owner Author

xunleii commented Sep 26, 2021

/unassign me

@xunleii
Copy link
Owner Author

xunleii commented Oct 10, 2021

/assign me

@xunleii
Copy link
Owner Author

xunleii commented Oct 10, 2021

/unassign

@xunleii
Copy link
Owner Author

xunleii commented Oct 10, 2021

/label "security:CodeQL"

@quick-actions-for-github quick-actions-for-github bot added the security:CodeQL Invoke CodeQL on the current PR label Oct 10, 2021
@github-actions github-actions bot removed the security:CodeQL Invoke CodeQL on the current PR label Oct 10, 2021
@xunleii xunleii mentioned this pull request Oct 31, 2021
6 tasks
@xunleii
Copy link
Owner Author

xunleii commented Nov 3, 2021

/duplicate #1

@xunleii
Copy link
Owner Author

xunleii commented Nov 3, 2021

/duplicate #2

@xunleii
Copy link
Owner Author

xunleii commented Nov 3, 2021

/label bug

@xunleii
Copy link
Owner Author

xunleii commented Nov 3, 2021

/duplicate #2

1 similar comment
@xunleii
Copy link
Owner Author

xunleii commented Nov 3, 2021

/duplicate #2

@xunleii xunleii marked this as a duplicate and then as not a duplicate of #2 Nov 3, 2021
@xunleii
Copy link
Owner Author

xunleii commented Nov 3, 2021

/duplicate #2

@xunleii xunleii mentioned this pull request Nov 3, 2021
@xunleii
Copy link
Owner Author

xunleii commented Nov 21, 2021

Duplicate of #2

@xunleii xunleii marked this as a duplicate and then as not a duplicate of #2 Nov 21, 2021
@xunleii
Copy link
Owner Author

xunleii commented Nov 21, 2021

/remove_comment
Duplicate of #2

@xunleii
Copy link
Owner Author

xunleii commented Nov 21, 2021

Duplicate of #2

@xunleii xunleii marked this as a duplicate and then as not a duplicate of #2 Nov 21, 2021
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.

1 participant