Infra: ignore changes to docs directory

checkstyle · Sep 9, 2023 · 6458712 · 6458712
1 parent ca9ecad
commit 6458712
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.ci/validation.sh b/.ci/validation.sh
@@ -7,9 +7,9 @@ git-diff)
   printf "Changes to only docs/sitemap.xml:\n"
   git diff docs/sitemap.xml
 
-  # file below is always modified on a run and updated with the current date
+  # folder below is always modified on a run and updated with the current date
   # such a change is ignored and must be verified manually instead
-  git checkout HEAD -- docs/sitemap.xml
+  git checkout HEAD -- docs
 
   if [ "$(git status | grep 'Changes not staged\|Untracked files')" ]; then
     printf "Please clean up.\nGit status output:\n"