From 63675f566c20b4df94b191dada7260cb8e6b583f Mon Sep 17 00:00:00 2001 From: Christian Heimes Date: Sat, 9 Jul 2022 18:28:20 +0200 Subject: [PATCH] Ignore case to match GH-42 and gh-42 Fixes: #333 --- master/custom/pr_reporter.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/master/custom/pr_reporter.py b/master/custom/pr_reporter.py index 41526d3aa..918f8f21f 100644 --- a/master/custom/pr_reporter.py +++ b/master/custom/pr_reporter.py @@ -104,7 +104,8 @@ def sendMessage(self, reports): if not change_comments: return - m = re.search(r"\((?:GH-|#)(\d+)\)", change_comments) + # GH-42, gh-42, or #42 + m = re.search(r"\((?:GH-|#)(\d+)\)", change_comments, flags=re.IGNORECASE) if m is None: return