From 6db19691754ce57b56f4cea09cd889d8a17b7da5 Mon Sep 17 00:00:00 2001 From: Thomas Binsfeld Date: Mon, 8 Apr 2024 15:00:37 +0200 Subject: [PATCH] [FIX] pr_status: manage PR URL's containing numerical characters The organization name and the repository can contain digits. --- acsoo/pr_status.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/acsoo/pr_status.py b/acsoo/pr_status.py index 4a72497..0f270be 100644 --- 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[a-zA-Z-_]+)/(?P[a-zA-Z-_]+)" + r".*github.com.(?P[^/]+)/(?P[^/]+)" r".*@refs/pull/(?P[0-9]+)/head" ) PR_URL_RE = re.compile(