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

Use copy-pr-bot #606

Merged
merged 1 commit into from
Aug 28, 2023
Merged

Use copy-pr-bot #606

merged 1 commit into from
Aug 28, 2023

Conversation

ajschmidt8
Copy link
Member

This PR replaces the copy_prs functionality from the ops-bot with the new dedicated copy-pr-bot GitHub application.

Thorough documentation for the new copy-pr-bot application can be viewed below.

Important: copy-pr-bot enforces signed commits. If an organization member opens a PR that contains unsigned commits, it will be deemed untrusted and therefore require an /ok to test comment. See the GitHub docs here for information on how to set up commit signing.

Any time a PR is deemed untrusted, it will receive a comment that looks like this: rapidsai/ci-imgs#63 (comment).

Every subsequent commit on an untrusted PR will require an additional /ok to test comment.

Any existing PRs that have unsigned commits after this change is merged will require an /ok to test comment for each subsequent commit or the PR can be rebased to include signed commits as mentioned in the docs below:
https://docs.gha-runners.nvidia.com/cpr/contributors.

This information is all included on the documentation page linked above.

I've skipped CI on this PR since it's not a change that is tested.

@ajschmidt8 ajschmidt8 requested a review from a team as a code owner August 25, 2023 21:10
@ajschmidt8 ajschmidt8 added improvement Improves an existing functionality non-breaking Introduces a non-breaking change and removed improvement Improves an existing functionality labels Aug 25, 2023
[skip ci]
@ajschmidt8 ajschmidt8 merged commit 774fe39 into rapidsai:branch-23.10 Aug 28, 2023
@ajschmidt8 ajschmidt8 deleted the copy-pr branch August 28, 2023 13:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
improvement Improves an existing functionality non-breaking Introduces a non-breaking change
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant