diff --git a/.github/scripts/check-pr-text.py b/.github/scripts/check-pr-text.py index 18b2c8ccbb0..58c8058a9ac 100644 --- a/.github/scripts/check-pr-text.py +++ b/.github/scripts/check-pr-text.py @@ -41,7 +41,7 @@ def fail(message): if not pr_body: fail("Body for the PR not found. " "Maybe missing PR_BODY env var.") -title_search = re.search(r"^(#\d+) .+", pr_title) +title_search = re.search(r"^(#\d+):? .+", pr_title) if not title_search: fail( "Title of PR has no issue ID reference. It must look like “#1234 Foo bar baz”." diff --git a/.gitignore b/.gitignore index 8402bf88bfe..0d2fbc78c62 100644 --- a/.gitignore +++ b/.gitignore @@ -21,3 +21,4 @@ pip-wheel-metadata/ .vscode/ .idea/ .tox/ +.hypothesis/ diff --git a/src/twisted/newsfragments/11721.misc b/src/twisted/newsfragments/11721.misc new file mode 100644 index 00000000000..e69de29bb2d