Skip to content

feat: copy-pr-bot#52

Merged
daviddu0425 merged 2 commits into
mainfrom
feat/copy-pr-bot
May 14, 2026
Merged

feat: copy-pr-bot#52
daviddu0425 merged 2 commits into
mainfrom
feat/copy-pr-bot

Conversation

@daviddu0425
Copy link
Copy Markdown
Collaborator

@daviddu0425 daviddu0425 commented May 14, 2026

Description

copy-pr-bot integration

Checklist

  • I am familiar with the Contributing Guidelines.
  • New or existing tests cover these changes.
  • The documentation is up to date with these changes.

Signed-off-by: David Du <dadu@nvidia.com>
@slakhotia-nv slakhotia-nv self-requested a review May 14, 2026 21:21
Copy link
Copy Markdown
Collaborator

@slakhotia-nv slakhotia-nv left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@daviddu0425 daviddu0425 self-assigned this May 14, 2026
@daviddu0425 daviddu0425 merged commit 90f1746 into main May 14, 2026
8 checks passed
@daviddu0425 daviddu0425 deleted the feat/copy-pr-bot branch May 14, 2026 22:22
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