[FIX] pr_status: manage PR URL's containing numerical characters

The organization name and the repository can contain digits.
acsone · Apr 8, 2024 · 6db1969 · 6db1969
1 parent f37f9eb
commit 6db1969
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/acsoo/pr_status.py b/acsoo/pr_status.py
@@ -17,7 +17,7 @@
 
 PR = namedtuple("PR", ["org", "repo", "pr"])
 PR_RE = re.compile(
-    r".*github.com.(?P<org>[a-zA-Z-_]+)/(?P<repo>[a-zA-Z-_]+)"
+    r".*github.com.(?P<org>[^/]+)/(?P<repo>[^/]+)"
     r".*@refs/pull/(?P<pr>[0-9]+)/head"
 )
 PR_URL_RE = re.compile(