diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b151ea54b..a3d0bc3df 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -13,6 +13,8 @@ jobs: steps: - uses: actions/checkout@v4 + with: + fetch-depth: 0 - uses: actions/setup-python@v4 with: diff --git a/scripts/check-pr.sh b/scripts/check-pr.sh index ac7e72521..82c045b42 100755 --- a/scripts/check-pr.sh +++ b/scripts/check-pr.sh @@ -2,7 +2,7 @@ # SPDX-License-Identifier: MIT # This script is executed by GitHub Actions for every pull request opened. -# It currently accomplishes the following objectives (for English pages only): +# It currently accomplishes the following objectives: # # 1. Detect pages that were just copied (i.e. cp pages/{common,linux}/7z.md). # 2. Detect pages that were added in a platform specific directory although @@ -50,7 +50,7 @@ function check_diff { local line local entry - git_diff=$(git diff --name-status --find-copies-harder --diff-filter=AC --relative=pages/ remotes/origin/main) + git_diff=$(git diff --name-status --find-copies-harder --diff-filter=AC origin/main -- pages*/) if [[ -n $git_diff ]]; then echo -e "Check PR: git diff:\n$git_diff" >&2