Skip to content

provider-github: comment on PRs included in releases - #62

Open
mwaldheim wants to merge 2 commits into
mainfrom
feat/release-pr-comments
Open

mwaldheim wants to merge 2 commits into
mainfrom
feat/release-pr-comments

Conversation

@mwaldheim

Copy link
Copy Markdown
Contributor

Summary

  • Optionally comment on pull requests associated with commits in a release.
  • Include the release link and avoid duplicate comments for the same tag.
  • Document SEMREL_PLUGIN_COMMENT_ON_PRS and required token permissions.

Validation

  • go test ./...

Requires the semrel core change that provides SEMREL_COMMIT_HASHES.

mwaldheim and others added 2 commits October 2, 2026 10:04
Post an idempotent release link on pull requests associated with commits in the release.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Make pull request release comments the default behavior while allowing projects to disable them explicitly.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
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