From 329a1f14328626e638ee6d0bc58c02ddb729abf4 Mon Sep 17 00:00:00 2001
From: tankilevitch <tomtankilevitch@gmail.com>
Date: Sun, 10 Nov 2024 15:49:34 +0200
Subject: [PATCH] Add infra option

---
 .github/workflows/verify-pr-title.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/verify-pr-title.yml b/.github/workflows/verify-pr-title.yml
index 90d795b8db..3ea0263328 100644
--- 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"