diff options
| author | Ravi Kumar <[email protected]> | 2026-01-06 00:29:42 +0530 |
|---|---|---|
| committer | GitHub <[email protected]> | 2026-01-05 12:59:42 -0600 |
| commit | c6a241e3319f8a4818581f22712aaccbccda0d26 (patch) | |
| tree | 4f42a7a3ba51faf1b78799ebc74b5b693d5f4815 /.github | |
| parent | 4b7301e8ca14ad325f580b845ae3319f0d4d0c15 (diff) | |
| download | opencode-c6a241e3319f8a4818581f22712aaccbccda0d26.tar.gz opencode-c6a241e3319f8a4818581f22712aaccbccda0d26.zip | |
ci: prevent duplicate PR check from flagging current PR as duplicate (#6924)
Co-authored-by: Aiden Cline <[email protected]>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/duplicate-prs.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/duplicate-prs.yml b/.github/workflows/duplicate-prs.yml index 7e6dbf79c..326068589 100644 --- a/.github/workflows/duplicate-prs.yml +++ b/.github/workflows/duplicate-prs.yml @@ -44,6 +44,8 @@ jobs: { echo "Check for duplicate PRs related to this new PR:" echo "" + echo "CURRENT_PR_NUMBER: $PR_NUMBER" + echo "" echo "Title: $(gh pr view "$PR_NUMBER" --json title --jq .title)" echo "" echo "Description:" |