From 7a1ce2de46faaac7409eed73e03d0e70dd7d2740 Mon Sep 17 00:00:00 2001 From: George Pollard Date: Sat, 15 May 2021 05:21:37 +1200 Subject: [PATCH] Add /hack/ directory to IGNORE_FILTERS (#1475) --- scripts/check-changes.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/check-changes.sh b/scripts/check-changes.sh index c4b6784112d..9e1d7e790f2 100755 --- a/scripts/check-changes.sh +++ b/scripts/check-changes.sh @@ -1,7 +1,7 @@ #!/bin/bash set -e -IGNORE_FILTERS=("docs/" "README.md") +IGNORE_FILTERS=("docs/" "README.md" "hack/") CHANGED_FILES=$(git diff HEAD HEAD~ --name-only) IGNORED_COUNT=0 NON_IGNORED_COUNT=0