Repository navigation

Update label names in .github/ config files - #1469

Open

mhucka wants to merge 2 commits into

mainfrom

update-github-config-labels

Open

Update label names in .github/ config files#1469
mhucka wants to merge 2 commits into
mainfrom
update-github-config-labels

Commits on Oct 20, 2026
- Update label names in .github/ configs to single-letter prefix style
  mhucka
  committed
  ee57fa7
- Merge branch 'main' into update-github-config-labels
  mhucka
  authored
  6f439b7