Browse Source

Apply suggestion from @Copilot

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
pull/23952/head
Ma Liming 11 months ago
committed by GitHub
parent
commit
cc19a9a8b3
No known key found for this signature in database GPG Key ID: B5690EEEBB952194
  1. 5
      .github/workflows/auto-add-seo.yml

5
.github/workflows/auto-add-seo.yml

@ -78,7 +78,10 @@ jobs:
# Create directory if it doesn't exist
mkdir -p "$(dirname "$file")"
# Checkout the file from merge commit
git show "${{ github.event.pull_request.merge_commit_sha }}:$file" > "$file" 2>/dev/null || echo " Warning: Could not checkout $file"
if ! git show "${{ github.event.pull_request.merge_commit_sha }}:$file" > "$file" 2>err.log; then
echo " Warning: Could not checkout $file"
echo " Reason: $(cat err.log)"
fi
fi
done <<< "$FILES"

Loading…
Cancel
Save