Skip to content

GitHubPusher: add PR comment with edit summary#134

Merged
sorah merged 2 commits intomasterfrom
yaml-notify
Mar 2, 2026
Merged

GitHubPusher: add PR comment with edit summary#134
sorah merged 2 commits intomasterfrom
yaml-notify

Conversation

@sorah
Copy link
Copy Markdown
Member

@sorah sorah commented Mar 2, 2026

Compare previous and current editing history IDs to identify what changed in each push, then post a Markdown summary listing sponsorship and event edits with field diffs and actors.

  • New PR: summary becomes the PR body
  • Existing PR: summary posted as a comment

Co-Authored-By: Claude Opus 4.6 noreply@anthropic.com

Compare previous and current editing history IDs to identify
what changed in each push, then post a Markdown summary listing
sponsorship and event edits with field diffs and actors.

- New PR: summary becomes the PR body
- Existing PR: summary posted as a comment

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@sorah sorah enabled auto-merge March 2, 2026 08:49
@sorah sorah added this pull request to the merge queue Mar 2, 2026
@sorah sorah removed this pull request from the merge queue due to a manual request Mar 2, 2026
PR body now shows all edits since the base branch (main),
ensuring nothing is missed when intermediate jobs are skipped.
Comments still show incremental changes since the last push.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@sorah sorah added this pull request to the merge queue Mar 2, 2026
Merged via the queue into master with commit 11bdf65 Mar 2, 2026
2 checks passed
@sorah sorah deleted the yaml-notify branch March 2, 2026 16: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.

1 participant