Repository navigation

Preserve source labels for added patterns - #35

Merged

andrew merged 1 commit into

mainfrom

add-pattern-source-label

Nov 8, 2026

Merged

Preserve source labels for added patterns#35
andrew merged 1 commit into
mainfrom
add-pattern-source-label

Commits on Nov 8, 2026
- Preserve source labels for added patterns
  andrew
  committed
  5fcc6a8