#git

• 2026-10-12 A commit message from the diff: which diff, where it is cut, and what is scrubbed from the reply