fix(ci): list both sides of a rename in the collect export check

git diff detects renames by default, so moving a file from outside data/ into
data/ listed only the destination and the deleted source slipped past the
data/-only check. --no-renames lists the deletion too.

Author: Seungpyo1007

.github/workflows/ingest.yml

@@ -197,7 +197,7 @@ jobs:
           DRAFT: ${{ inputs.include_drafts }}
         run: |
           set -euo pipefail
-          outside=$(git -C TechAPI diff --name-only "$BASE" HEAD | grep -v '^data/' || true)
+          outside=$(git -C TechAPI diff --no-renames --name-only "$BASE" HEAD | grep -v '^data/' || true)
           if [ -n "$outside" ]; then
             echo "::error::The commit touches files outside data/:"
             echo "$outside"

.github/workflows/refresh.yml

@@ -214,7 +214,7 @@ jobs:
           BASE: ${{ steps.commit.outputs.base }}
         run: |
           set -euo pipefail
-          outside=$(git -C TechAPI diff --name-only "$BASE" HEAD | grep -v '^data/' || true)
+          outside=$(git -C TechAPI diff --no-renames --name-only "$BASE" HEAD | grep -v '^data/' || true)
           if [ -n "$outside" ]; then
             echo "::error::The commit touches files outside data/:"
             echo "$outside"

.github/workflows/verify-promote.yml

@@ -229,7 +229,7 @@ jobs:
           BASE: ${{ steps.commit.outputs.base }}
         run: |
           set -euo pipefail
-          outside=$(git -C TechAPI diff --name-only "$BASE" HEAD | grep -v '^data/' || true)
+          outside=$(git -C TechAPI diff --no-renames --name-only "$BASE" HEAD | grep -v '^data/' || true)
           if [ -n "$outside" ]; then
             echo "::error::The commit touches files outside data/:"
             echo "$outside"