Skip to content

Improve vendor update PR details#3098

Merged
DRSDavidSoft merged 1 commit into
cmderdev:masterfrom
DRSDavidSoft:codex/vendor-pr-body
Jun 30, 2026
Merged

Improve vendor update PR details#3098
DRSDavidSoft merged 1 commit into
cmderdev:masterfrom
DRSDavidSoft:codex/vendor-pr-body

Conversation

@DRSDavidSoft

Copy link
Copy Markdown
Contributor

Summary

  • Link each generated vendor PR "New Version" value to the exact GitHub release tag.
  • Add a Dependabot-style collapsible release-notes section sourced from vendor release notes, with compare links and blockquoted content.
  • Generate the PR emoji legend from the actual table emojis only, and conditionally request cmderdev/trusted-contributors review only when the vendor delta since the previous update-vendor branch includes a major or minor change.

Notes

GitHub does not provide a create/update PR flag to suppress notifications generally. The workflow instead avoids explicit review-request notifications for patch-only updates and requests trusted-contributors only for major/minor changes since the last PR branch update.

Validation

  • git diff --check
  • Executed the updated PR-body generation logic locally against the version set from ⬆️ Update 4 vendored dependencies #3093 and verified release links, release-note details, exact table emoji legend, and conditional REVIEW_TEAM=trusted-contributors output.

@DRSDavidSoft
DRSDavidSoft merged commit 5d37fd7 into cmderdev:master Jun 30, 2026
1 check passed
@DRSDavidSoft
DRSDavidSoft deleted the codex/vendor-pr-body branch June 30, 2026 21:19
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