Repository navigation

Unauthored POSTSCRIPT in docs/design-rung-drops.md: restore its authority or model the carrier - #11810

Closed

gunbai-bot[bot] wants to merge 1 commit into

mainfrom

session/quick-pike-778

Closed

Unauthored POSTSCRIPT in docs/design-rung-drops.md: restore its authority or model the carrier#11810
gunbai-bot[bot] wants to merge 1 commit into
mainfrom
session/quick-pike-778

Commits on Sep 20, 2026
- Model the rung-drop amendment, so a later ruling stops living as hand-edited bytes in a generated file
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  19d3b14