exclude changelog in verifying doc/ui PRs (#23601)

This commit is contained in:
Hamid Ghaf
2023-10-11 08:18:23 -07:00
committed by GitHub
parent f144d1be54
commit 163c03f514

View File

@@ -29,8 +29,9 @@ else
fi
# git diff with ... shows the differences between base_commit and head_commit starting at the last common commit
changed_dir=$(git diff $base_commit...$head_commit --name-only | awk -F"/" '{ print $1}' | uniq)
change_count=$(git diff $base_commit...$head_commit --name-only | awk -F"/" '{ print $1}' | uniq | wc -l)
# excluding the changelog directory
changed_dir=$(git diff $base_commit...$head_commit --name-only | awk -F"/" '{ print $1}' | uniq | sed '/changelog/d')
change_count=$(git diff $base_commit...$head_commit --name-only | awk -F"/" '{ print $1}' | uniq | sed '/changelog/d' | wc -l)
# There are 4 main conditions to check:
#