Add infra option

port-labs · Nov 10, 2024 · 329a1f1 · 329a1f1
1 parent f911339
commit 329a1f1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/verify-pr-title.yml b/.github/workflows/verify-pr-title.yml
@@ -13,7 +13,7 @@ jobs:
         env:
           PR_TITLE: ${{ github.event.pull_request.title }}
         run: |
-          if [[ ! "$PR_TITLE" =~ ^\[(Integration|Core|Docs|CI)\]\ .+ ]]; then
+          if [[ ! "$PR_TITLE" =~ ^\[(Integration|Core|Docs|CI|Infra)\]\ .+ ]]; then
             echo "PR title does not match the required convention."
             echo "Examples of acceptable titles:"
             echo "[Integration] Resolve missing team context in board ingestion for non-default teams"