From e9271c946fa508d48257e47fbec9470ea94437e4 Mon Sep 17 00:00:00 2001
From: Adam Moussa <166072409+amoussa1229@users.noreply.github.com>
Date: Tue, 30 Jun 2026 19:12:14 -0400
Subject: [PATCH] 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
---
 .github/workflows/pr_lint.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/pr_lint.yml b/.github/workflows/pr_lint.yml
index 7290fa8f..cdd3192e 100644
--- a/.github/workflows/pr_lint.yml
+++ b/.github/workflows/pr_lint.yml
@@ -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