Skip to content

feat(dev-lead): dev-lead:hands-off label to exclude infra PRs from the agent - #454

Merged
don-petry merged 5 commits into
mainfrom
feat/dev-lead-hands-off
Jun 7, 2026
Merged

don-petry merged 5 commits into
mainfrom
feat/dev-lead-hands-off

Commits

  1. Commits on Jun 7, 2026