Fix: allow dash in usernames in PR title linting @geminixiang (#15)

livingbio · Jun 18, 2024 · a0e77d8 · a0e77d8
1 parent e67380e
commit a0e77d8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/pr_lint/linter.py b/src/pr_lint/linter.py
@@ -16,7 +16,7 @@ def lint(pr: PullRequest) -> None:
         pr: The pull request to lint
     """
 
-    pr_owners = re.findall(r"(@[\w]+)$", pr.title.strip())
+    pr_owners = re.findall(r"(@[\w-]+)$", pr.title.strip())
     assert pr_owners, "PR title should end with a GitHub username"
     # FIXME: for some reason the has_in_collaborators method is not working
     # pr_owner = pr_owners[0][1:]