Repository navigation

D: gitlink mounts, pinned gitlink parents and a pre-launch tree check (#81, #99) - #100

Merged

mchwang merged 5 commits into

mainfrom

feat/d-gitlink-mounts-81

Oct 3, 2026

Merged

D: gitlink mounts, pinned gitlink parents and a pre-launch tree check (#81, #99)#100
mchwang merged 5 commits into
mainfrom
feat/d-gitlink-mounts-81

Commits on Oct 2, 2026
- D: empty read-only mounts at gitlink paths and a pre-launch tree check (#81)
  
  mchwang
  and
  claude
  committed
  e49b03a
- Test: give each fixture gitlink a 40-digit object ID
  
  mchwang
  and
  claude
  committed
  db9ce56
- Test the check's exit 6 and 9 refusals; say what the rename test proves (review round 2)
  
  mchwang
  and
  claude
  committed
  1dd1182
- D: pin every directory above a nested gitlink during execute and fix (#99)
  
  mchwang
  and
  claude
  committed
  3d51d18
Commits on Oct 3, 2026
- Docs: gitlink masking applies to writable invocations (review round 3)
  
  mchwang
  and
  claude
  committed
  86bccd0