Skip to content

Commit

Permalink
#11721: Ignore .hypothesis (#11722)
Browse files Browse the repository at this point in the history
  • Loading branch information
twm committed Oct 25, 2022
2 parents 960e26b + 3636b41 commit fb493b4
Show file tree
Hide file tree
Showing 3 changed files with 2 additions and 1 deletion.
2 changes: 1 addition & 1 deletion .github/scripts/check-pr-text.py
Expand Up @@ -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”."
Expand Down
1 change: 1 addition & 0 deletions .gitignore
Expand Up @@ -21,3 +21,4 @@ pip-wheel-metadata/
.vscode/
.idea/
.tox/
.hypothesis/
Empty file.

0 comments on commit fb493b4

Please sign in to comment.