Repository navigation

tools/export.py: copy its own files verbatim; the export changes Markdown prose only - #1

Merged

gitgat merged 2 commits into

mainfrom

export-verbatim

Oct 27, 2026

Merged

tools/export.py: copy its own files verbatim; the export changes Markdown prose only#1
gitgat merged 2 commits into
mainfrom
export-verbatim

Commits on Oct 27, 2026
- tools/export.py: copy its own files verbatim; the export changes Markdown prose only
  
  gitgat
  and
  claude
  committed
  cdfb3aa
- CI: split the slow land-batch and landing-lib mutation specs so each fits the 20-minute job
  
  gitgat
  and
  claude
  committed
  ae7fb10