Repository navigation

Design note: group plugins into the fewest workers from pins and running history - #183

Merged

linuxnow merged 4 commits into

mainfrom

docs/grouping-planner-spec

Oct 27, 2026

Merged

Design note: group plugins into the fewest workers from pins and running history#183
linuxnow merged 4 commits into
mainfrom
docs/grouping-planner-spec

Commits on Oct 27, 2026
- Design note: group plugins into the fewest workers from pins and running history (#182)
  linuxnow
  committed
  fb56a0b
- Design note: name the lane issues
  linuxnow
  committed
  7d109fb
- Design note: tidy the L8 cell
  linuxnow
  committed
  2498878
- Design note: no pointer into a private repository
  linuxnow
  committed
  5445baf