Skip to content

Commit

Permalink
Update PULL_REQUEST_TEMPLATE.md
Browse files Browse the repository at this point in the history
  • Loading branch information
utf authored Dec 10, 2023
1 parent ae609e0 commit 6f4d512
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .github/PULL_REQUEST_TEMPLATE.md
Original file line number Diff line number Diff line change
Expand Up @@ -46,4 +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
`cp pre-commit .git/hooks` and a check will be run prior to allowing commits.
`pip install pre-commit` and then `pre-commit install` and a check will be run
prior to allowing commits.

0 comments on commit 6f4d512

Please sign in to comment.