From e3b643732b38b209ab0223d7d8632220d916319e Mon Sep 17 00:00:00 2001 From: Claude Date: Wed, 21 Oct 2026 16:52:59 +0000 Subject: [PATCH] docs(workspace): a PR body edit re-runs public-intake and blocks a merge Editing a pull request's title or body re-runs the required public-intake check (pull_request_target type edited); while it runs, a guarded merge is refused with HTTP 405. Record that, and that after an integrator's pickup others put late facts in a comment. This refused the first merge attempt on main#450 and main#467 on 20 October 2026. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01V3DF6ms7UTpj27UqDG4u5h --- docs/WORKSPACE.md | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/docs/WORKSPACE.md b/docs/WORKSPACE.md index 6fcc89679..eb1874149 100644 --- a/docs/WORKSPACE.md +++ b/docs/WORKSPACE.md @@ -160,6 +160,15 @@ git rev-parse : origin/main: # two equal lines: same bytes On 19 October 2026, main#330's head `88ff9223` was not in `main`, but its `PROOF.md` blob was. +Editing a pull request's title or body re-runs the required `public-intake` +check, because its workflow listens for `pull_request_target` type `edited`. +While that run is queued or in progress, a guarded merge is refused with HTTP +405 ("Required status check `public-intake` is queued"). Once an integrator has +picked up a pull request, others record late facts in a comment instead of +editing the body, and an integrator that edits the body lets the new run finish +before merging. On 20 October 2026 this refused the first merge attempt on +main#450 and on main#467. + ## Local navigation check The landing workflow's `landing-checks` job first requires that the same run's