DEV: Add REL to known PR prefixes (#2554)

stefan6419846 · web-flow · commit 68b04656288a · 2024-03-29T15:11:39.000+01:00
diff --git 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", "")
 
