Skip to content

repo: scan a pull request again when its text is edited - #13

Merged
xor-machine merged 1 commit into
devfrom
repo/ci-edited
Sep 2, 2026
Merged

repo: scan a pull request again when its text is edited#13
xor-machine merged 1 commit into
devfrom
repo/ci-edited

Conversation

@xor-machine

Copy link
Copy Markdown
Contributor

Without types, the pull_request trigger fires on opened, synchronize and reopened only. A pull request whose title or body was edited after its checks passed reached the merge with that text unscanned. This names the types and adds edited, so the term wall runs against the current text and the required check reflects it.

From the Codex adversarial review of the organisation's CI.

🤖 Generated with Claude Code

https://claude.ai/code/session_012Jj94rkp3tfHAxUkTCthgY

`pull_request` without `types` fires on opened, synchronize and
reopened only, so a title or body edited after the checks passed
reached the merge unscanned. Name the types and add `edited`; the
wall then runs against the current text.

Source: original
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012Jj94rkp3tfHAxUkTCthgY
Apply-Push-Job: 20260901T234639Z-apply-push-6bd968
Patch-SHA256: d98bba1f87201c326cc5eec4934e6561789644fd2bc90df54651dffe51ff055e
@xor-machine
xor-machine marked this pull request as ready for review September 1, 2026 23:50
@xor-machine
xor-machine merged commit d741bfb into dev Sep 2, 2026
2 checks passed
@xor-machine
xor-machine deleted the repo/ci-edited branch September 2, 2026 00:18
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