Skip to content

Commit

Permalink
Fix linting
Browse files Browse the repository at this point in the history
  • Loading branch information
utf committed Dec 10, 2023
1 parent 6f4d512 commit ad2dbb8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/PULL_REQUEST_TEMPLATE.md
Original file line number Diff line number Diff line change
Expand Up @@ -46,5 +46,5 @@ Before a pull request can be merged, the following items must be checked:
Note that the CI system will run all the above checks. But it will be much more
efficient if you already fix most errors prior to submitting the PR. It is highly
recommended that you use the pre-commit hook provided in the repository. Simply
`pip install pre-commit` and then `pre-commit install` and a check will be run
`pip install pre-commit` and then `pre-commit install` and a check will be run
prior to allowing commits.

0 comments on commit ad2dbb8

Please sign in to comment.