From b467d537cd3ad20beb0b087fb97a1178b75225b6 Mon Sep 17 00:00:00 2001
From: Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de>
Date: Sat, 25 Jan 2020 01:57:53 +0100
Subject: pre-commit: Also report unused eslint-disable directives

---
 .pre-commit-config.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.pre-commit-config.yaml')

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
-- 
cgit v1.2.3