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

The organization name and the repository can contain digits.
acsone · Apr 8, 2024 · cdeb618 · cdeb618
1 parent f37f9eb
commit cdeb618
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/acsoo/pr_status.py b/acsoo/pr_status.py
@@ -17,8 +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".*@refs/pull/(?P<pr>[0-9]+)/head"
+    r".*github.com.(?P<org>[^/]+)/(?P<repo>[^/]+)" r".*@refs/pull/(?P<pr>[0-9]+)/head"
 )
 PR_URL_RE = re.compile(
     r".*https://github.com/(?P<org>[^/]+)/(?P<repo>[^/]+)/pull/(?P<pr>[0-9]+).*"