Repository navigation

chore: automatically label pull requests - #56

Merged

tboerger merged 2 commits into

mainfrom

chore/pr-auto-labels

Oct 20, 2026

Merged

chore: automatically label pull requests#56
tboerger merged 2 commits into
mainfrom
chore/pr-auto-labels

Commits on Oct 5, 2026
- chore: automate pull request labels
  mwaldheim
  committed
  8a7ab5e
Commits on Oct 20, 2026
- fix: grant auto-label workflow write permission
  
  mwaldheim
  and
  Copilot
  committed
  b8fc3ee