From c5bbf84ef8e5f6b100febfe06910b8ecfc6eae64 Mon Sep 17 00:00:00 2001 From: crueter Date: Sun, 19 Oct 2025 21:05:32 -0400 Subject: [PATCH] oops Signed-off-by: crueter --- .ci/license-header.sh | 2 -- 1 file changed, 2 deletions(-) diff --git a/.ci/license-header.sh b/.ci/license-header.sh index 1fb3438be6..986b364845 100755 --- a/.ci/license-header.sh +++ b/.ci/license-header.sh @@ -96,8 +96,6 @@ check_header() { BASE=$(git merge-base master HEAD) FILES=$(git diff --name-only "$BASE") -echo "$EXCLUDE_FILES" - for file in $FILES; do [ -f "$file" ] || continue