Skip to content

Git ignore all .hypothesis directories#4904

Merged
jaydoane merged 1 commit intomainfrom
git-ignore-hypothesis
Dec 7, 2023
Merged

Git ignore all .hypothesis directories#4904
jaydoane merged 1 commit intomainfrom
git-ignore-hypothesis

Conversation

@jaydoane
Copy link
Copy Markdown
Contributor

@jaydoane jaydoane commented Dec 7, 2023

Overview

A .hypothesis directory was observed at the top level of the repo, so ignore them wherever they might be.

Testing recommendations

Related Issues or Pull Requests

Checklist

  • Code is written and works correctly
  • Changes are covered by tests
  • Any new configurable parameters are documented in rel/overlay/etc/default.ini
  • Documentation changes were made in the src/docs folder
  • Documentation changes were backported (separated PR) to affected branches

A `.hypothesis` directory was observed at the top level of the repo,
so ignore them wherever they might be.
@jaydoane jaydoane merged commit ce27697 into main Dec 7, 2023
@jaydoane jaydoane deleted the git-ignore-hypothesis branch December 7, 2023 23:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants