Merge pull request #1743 from jrha/panlint

CI: panlint: Allow maven templates as first line
quattor · Nov 25, 2024 · f9a9f0f · f9a9f0f
2 parents e31996a + 41fd1c8
commit f9a9f0f
Showing 1 changed file with 1 addition and 1 deletion.
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 --diff-filter=d 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 --allow_mvn_templates || exit 1