Repository navigation

Follow label renames from GitHub's label webhook - #522

Merged

jarstelfox merged 2 commits into

claude/label-rename-webhook

Oct 11, 2026

Merged

Follow label renames from GitHub's label webhook#522
jarstelfox merged 2 commits into
masterfrom
claude/label-rename-webhook

Commits on Oct 11, 2026
- Follow label renames from GitHub's label webhook
  
  jarstelfox
  and
  claude
  committed
  bafd548
- Fail on a too-long label name; read 5 items per stale label
  
  jarstelfox
  and
  claude
  committed
  7dbcfc3