Answer A-223: the pull request's own branch is head-branch

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-12 09:41:28 +01:00
parent 4fff5cdfab
commit 3f0f6483c8
1 changed files with 2 additions and 0 deletions
@@ -171,3 +171,5 @@ the principle that settles it, cited as "design 47 G A-n".
  the bus, not acknowledged; at its start the runner reads, for each run pipeline with no steps yet, its candidate's
  revision through `revision`, so a placing lost while it was down is taken up. A run's rerun asks with the
  candidate's catalog half. An unanswered drop is said `call-unanswered` on a five-minute bound key's expiry.
+- **A-223** (corrects A-221; principle 8) A merged pull request's own branch is `head-branch`; `head` stays the head
+  commit, as everywhere in the forge messages.