Ignore changes to .github & .devcontainer dirs
#!/bin/bash
set -e
-IGNORE_FILTERS=("docs/" "README.md" "hack/" "Taskfile.yml" "scripts/check-changes.sh")
+IGNORE_FILTERS=("docs/" "README.md" "hack/" "Taskfile.yml" "scripts/check-changes.sh" ".github/" ".devcontainer/")
CHANGED_FILES=$(git diff HEAD HEAD~ --name-only)
IGNORED_COUNT=0
NON_IGNORED_COUNT=0
