ci: allow deps-dev, ui, deploy, ci, infra scopes in PR title lint (#88)

* ci: allow deps-dev, ui, deploy, ci scopes in PR title lint

Dependabot dev-dependency PRs use the deps-dev scope and humans commonly
use ui/deploy/ci, none of which were in the allowed list, so lint-pr-title
failed on otherwise-valid PRs.

* ci: allow infra scope in PR title lint
This commit is contained in:
Adam Moussa 2026-06-30 19:12:14 -04:00 • committed by GitHub
parent 7ac4babe71
commit e9271c946f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -33,9 +33,14 @@ jobs:
shared
cli
web
ui
open-swe
docs
deps
deps-dev
deploy
ci
infra
requireScope: false
ignoreLabels: |
ignore-lint-pr-title