Repository navigation

Reserve room for the path when a result candidate is copied - #280

Merged

bab2min merged 3 commits into

bab2min:mainfrom

wkpark:reserve-copied-candidates

Oct 15, 2026

Merged

Reserve room for the path when a result candidate is copied#280
bab2min merged 3 commits into
bab2min:mainfrom
wkpark:reserve-copied-candidates

Commits on Oct 9, 2026
- Reserve room for the path when a result candidate is copied
  
  wkpark
  and
  claude
  committed
  2119905
- Copy a result candidate by insertion so its reserved room is kept
  
  wkpark
  and
  claude
  committed
  a139e58
Commits on Oct 14, 2026
- Shorten the comment on copying a result candidate
  
  wkpark
  and
  claude
  committed
  5bc8d2b