docs(runbook): stale "out-of-date" PR after a stacked PR is retargeted (closes #195) #196

Open
not wants to merge 1 commits from docs/195-stale-outdated-pr into main
1 Commits
Author SHA1 Message Date
notandClaude Opus 5.5 7baa5d2006 docs(runbook): stale "out-of-date" PR after a stacked PR is retargeted (refs #195)
CI / lint (pull_request) Successful in 1m43s
CI / k8s (pull_request) Successful in 9s
CI / build (pull_request) Successful in 1m8s
CI / docs (pull_request) Successful in 44s
CI / unit (pull_request) Successful in 1m21s
CI / frontend (pull_request) Successful in 2m20s
CI / mutation (pull_request) Successful in 4m28s
CI / verify-stack (pull_request) Skipped
Gitea 1.27 blocks the merge on a stored commits_behind that a same-second
retarget + force-push can leave stale, while Update branch recomputes it
live and refuses. Record the symptom, the cause and the amend + force-push fix.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
2026-10-02 12:56:13 +02:00