File tree Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Original file line number Diff line number Diff line change 41
41
id : changed-docs
42
42
run : |
43
43
# Retrieve list of files changed between the previous commit and the current SHA
44
- git diff --name-only ${{ github.event.before }} ${{ github.sha }} > changed_files.txt
44
+ # --diff-filter=d exclude deleted files
45
+ git diff --name-only --diff-filter=d ${{ github.event.before }} ${{ github.sha }} > changed_files.txt
45
46
# filter to include only documentation files
46
- grep -i -E "${DOC_FILE_FILTER}" changed_files.txt > changed_docs.txt || > changed_docs.txt # -i ignore case
47
+ # -i ignore case
48
+ grep -i -E "${DOC_FILE_FILTER}" changed_files.txt > changed_docs.txt || > changed_docs.txt
47
49
48
50
echo "Files changed with DOC_FILE_FILTER (${DOC_FILE_FILTER}) — could be empty:"
49
51
echo "---------------------------------------------------------------"
You can’t perform that action at this time.
0 commit comments