Skip to content

ci: remove source diff comments when no lines change - #52

Merged
cquil11 merged 1 commit into
mainfrom
ci/srtctl-diff-comment-empty
Oct 6, 2026
Merged

cquil11 merged 1 commit into
mainfrom
ci/srtctl-diff-comment-empty

Conversation

@cquil11

@cquil11 cquil11 commented Oct 6, 2026 •

Copy link
Copy Markdown

Skip the source diff comment when there are no added or deleted lines under src/srtctl. If a PR previously had source changes and they are reverted, delete the workflow's existing comment instead of leaving +0 -0 behind.


Note

Low Risk
GitHub Actions comment lifecycle only; no application or security impact.

Overview
The PR source diff workflow now treats zero src/srtctl line changes as “no comment needed.” After the usual stale-PR guard, if additions and deletions are both 0, it deletes the existing github-actions[bot] marker comment (when present) and exits instead of creating or updating a +0 -0 comment.

When there are source changes, behavior is unchanged: create the comment if missing, or update it when the body differs.

Reviewed by Cursor Bugbot for commit 8aee9be. Bugbot is set up for automated code reviews on this repo. Configure here.

@github-actions

github-actions Bot commented Oct 6, 2026

Copy link
Copy Markdown

src/srtctl diff: +0 -0

@cquil11
cquil11 merged commit 787292b into main Oct 6, 2026
18 checks passed
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