From 8490ae45d3c02c13edad259e0c0df46643363223 Mon Sep 17 00:00:00 2001
From: Tom Most <twm@freecog.net>
Date: Sun, 23 Oct 2022 22:20:34 -0700
Subject: [PATCH 1/2] Ignore .hypothesis/

---
 .gitignore                           | 1 +
 src/twisted/newsfragments/11721.misc | 0
 2 files changed, 1 insertion(+)
 create mode 100644 src/twisted/newsfragments/11721.misc

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

From 84404db3cbf39877aef01e1c1afbb666635927b1 Mon Sep 17 00:00:00 2001
From: Tom Most <twm@freecog.net>
Date: Sat, 22 Oct 2022 01:38:49 -0700
Subject: [PATCH 2/2] Enough of this nonsense

---
 .github/scripts/check-pr-text.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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”."