Repository navigation

docs(labels): new area labels and a just labels recipe - #137

Merged

h0ffmann merged 1 commit into

mainfrom

docs/issue-labels

Oct 21, 2026

Merged

docs(labels): new area labels and a just labels recipe#137
h0ffmann merged 1 commit into
mainfrom
docs/issue-labels

Commits on Oct 21, 2026
- docs(labels): add area labels for the newer labs and tools, and a just labels recipe
  
  h0ffmann
  and
  claude
  committed
  d677937