tools: Update scripts

This commit is contained in:
Taiki Endo
2025-12-04 02:45:49 +09:00
parent 8aeb767d80
commit c8c9b5bb95
4 changed files with 55 additions and 49 deletions

View File

@@ -191,7 +191,7 @@ cp -- ./manifests/* "${schema_workspace}"
# Stage changes
git add .
# Detect changes, then commit and push if changes exist
if [[ "$(git status --porcelain=v1 | wc -l)" != "0" ]]; then
if [[ "$(git status --porcelain=v1 | LC_ALL=C wc -l)" != "0" ]]; then
git commit -m 'Update manifest schema'
retry git push origin HEAD
fi