Repository navigation

chore: normalize PR title workflow identifiers - #3

Merged

philippwallrafen merged 3 commits into

mainfrom

chore/machine-readable-pr-title

Oct 6, 2026

Merged

chore: normalize PR title workflow identifiers#3
philippwallrafen merged 3 commits into
mainfrom
chore/machine-readable-pr-title

Commits on Oct 6, 2026
- chore: normalize PR title workflow identifiers
  philippwallrafen
  committed
  ec406db
- docs: align workflow guard with renamed file
  philippwallrafen
  committed
  9223748
- chore: remove legacy PR title workflow filename
  philippwallrafen
  committed
  49d6702