Merge pull request #233 from jouvin/ci_ignore_deleted_files

CI scripts (panlint/indent): exclude deleted files
quattor · Nov 6, 2024 · eaed3e4 · eaed3e4
2 parents 1fc04eb + 1dd872c
commit eaed3e4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.ci-scripts/indent b/.ci-scripts/indent
@@ -5,4 +5,4 @@ rm -f /tmp/indent.py
 wget -q https://raw.githubusercontent.com/stfc/Pan-Indenter/master/pan_indent_checker.py -O /tmp/indent.py
 chmod u+x /tmp/indent.py
 
-git diff --name-only HEAD^ | grep '\.pan$' | xargs -rn1 /tmp/indent.py check || exit 1
+git diff --name-only --diff-filter=d HEAD^ | grep '\.pan$' | xargs -rn1 /tmp/indent.py check || exit 1
diff --git a/.ci-scripts/panlint b/.ci-scripts/panlint
@@ -5,4 +5,4 @@ rm -f /tmp/panlint.py
 wget -q https://raw.githubusercontent.com/quattor/pan/master/panc/src/main/scripts/panlint/panlint.py -O /tmp/panlint.py
 chmod u+x /tmp/panlint.py
 
-git diff --name-only HEAD^ | grep '\.pan$' | xargs -r /tmp/panlint.py || exit 1
+git diff --name-only --diff-filter=d HEAD^ | grep '\.pan$' | xargs -r /tmp/panlint.py || exit 1