Skip to content

Update GitHub Actions for PR Summary Generation#78

Closed
jonmartinms wants to merge 5 commits into
mainfrom
jonmartin/harden-github-vars
Closed

Update GitHub Actions for PR Summary Generation#78
jonmartinms wants to merge 5 commits into
mainfrom
jonmartin/harden-github-vars

Conversation

@jonmartinms

@jonmartinms jonmartinms commented Jun 11, 2026

Copy link
Copy Markdown
Contributor

Update GitHub Actions for PR Summary Generation

Improved the automation of pull request summary generation through GitHub Actions.

Changes

  • General: Updated GitHub Actions workflows for better evaluation and generation of PR summaries.

jonmartinms and others added 5 commits May 19, 2026 16:26
Removes the bot-only filter so the workflow triggers for all PRs
that are opened with an empty body, ensuring the formatted summary
is auto-generated regardless of who creates the PR.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Users can now comment '/generate-summary' on any PR to regenerate
the formatted description on demand. The workflow still auto-triggers
for PRs opened without a body. A rocket emoji reaction confirms the
command was received.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@github-actions github-actions Bot changed the title Jonmartin/harden GitHub vars Update GitHub Actions for PR Summary Generation Jun 11, 2026
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