Repository navigation

fix(iss-2610090642392144): AGENTS.md tells a verifier to work on a copy made with git archive into a scratch directory, and the local scratch tier … - #910

Merged

REPPL merged 4 commits into

mainfrom

build/run-2610101926030564-lane-1

Oct 11, 2026

Merged

fix(iss-2610090642392144): AGENTS.md tells a verifier to work on a copy made with git archive into a scratch directory, and the local scratch tier …#910
REPPL merged 4 commits into
mainfrom
build/run-2610101926030564-lane-1

Commits on Oct 10, 2026
- docs: put a verifier's copy outside every working tree
  REPPL
  committed
  d875a06
- docs: hold itd-193 and the users-directory principle to the copy's home
  REPPL
  committed
  137ef4e
Commits on Oct 11, 2026
- chore(record): land lane-1 of run-2610101926030564
  REPPL
  committed
  f33bd56
- fix: merge main's 40-character slug cap into the verifier-copy lane
  REPPL
  committed
  60b6504