diff options
author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-01-25 01:57:53 +0100 |
---|---|---|
committer | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-01-25 01:57:53 +0100 |
commit | b467d537cd3ad20beb0b087fb97a1178b75225b6 (patch) | |
tree | 46c66c04d678940cffe3ad5be42957a6efb9b803 | |
parent | 591a381e5b4a2435c1b0040b6aef83d5b0e796c6 (diff) |
pre-commit: Also report unused eslint-disable directives
-rw-r--r-- | .pre-commit-config.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml index ad58271cad..433b23b9dd 100644 --- a/.pre-commit-config.yaml +++ b/.pre-commit-config.yaml @@ -22,7 +22,7 @@ repos: rev: v6.8.0 hooks: - id: eslint - args: [--fix] + args: [--fix, --report-unused-disable-directives] stages: - commit - manual |