diff options
author | iilei <iilei@users.noreply.github.com> | 2020-06-16 08:43:16 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-16 08:43:16 +0200 |
commit | 1047b76efc8ac0b60dce3c24aaa5b722b500b015 (patch) | |
tree | 0d282c884b9a6ae541421812c443def8a8f62509 /CONTRIBUTORS.txt | |
parent | 7bf11769db270b828280433fcffe15ecaf196e4d (diff) | |
download | pylint-git-1047b76efc8ac0b60dce3c24aaa5b722b500b015.tar.gz |
Set default pre-commit hook config: single process (#3689)
The default pre-commit behaviour might lead to falsely succeeding lint-runs. E.g. due to
duplicate lines of code spread across multiple files -- if affected files get spread across
multiple runs, duplicates can not be detected.
Diffstat (limited to 'CONTRIBUTORS.txt')
-rw-r--r-- | CONTRIBUTORS.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CONTRIBUTORS.txt b/CONTRIBUTORS.txt index 4bcf7a1b9..6c6a21a46 100644 --- a/CONTRIBUTORS.txt +++ b/CONTRIBUTORS.txt @@ -389,3 +389,5 @@ contributors: * Jeremy Fleischman (jfly): contributer * Shiv Venkatasubrahmanyam + +* Jochen Preusche (iilei): contributor |