From 68b04656288afc179f6db0b54380ae574663825a Mon Sep 17 00:00:00 2001
From: Stefan <96178532+stefan6419846@users.noreply.github.com>
Date: Fri, 29 Mar 2024 15:11:39 +0100
Subject: [PATCH] DEV: Add REL to known PR prefixes (#2554)

---
 .github/scripts/check_pr_title.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/scripts/check_pr_title.py b/.github/scripts/check_pr_title.py
index dea47b763..3026e7acf 100644
--- a/.github/scripts/check_pr_title.py
+++ b/.github/scripts/check_pr_title.py
@@ -15,6 +15,7 @@
     "DEV: ",
     "STY: ",
     "MAINT: ",
+    "REL: ",  # For internal use only.
 )
 PR_TITLE = os.getenv("PR_TITLE", "")