Skip to content

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

Merged
sbidoul merged 1 commit intomasterfrom fix_pr_status_regex_tbiMay 10, 2024
+1-2

Commits

Commits on Apr 8, 2024