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

Commits

Commits on Jul 31, 2026