Skip to content

mutation: skip deleted PR files before mutating - #55

Merged
brunoerg merged 1 commit into
mainfrom
2026-07-fix-deleted
Jul 31, 2026
Merged

mutation: skip deleted PR files before mutating#55
brunoerg merged 1 commit into
mainfrom
2026-07-fix-deleted

Conversation

@brunoerg

Copy link
Copy Markdown
Owner

No description provided.

@brunoerg

Copy link
Copy Markdown
Owner Author

cc @sr-gi

@sr-gi

sr-gi commented Jul 31, 2026

Copy link
Copy Markdown

tACK 28c304d

@brunoerg
brunoerg merged commit 40dd55f into main Jul 31, 2026
1 check passed
@brunoerg
brunoerg deleted the 2026-07-fix-deleted branch July 31, 2026 12:33
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.

2 participants