fix(builder): refresh git index before publish gate

2026-10-12 14:53:58 +08:00
parent f05ac24c57
commit c9faedc39d
3 changed files with 4 additions and 0 deletions
@@ -75,6 +75,8 @@ if [[ -z "$dest" && -z "${COPY_SCRIPT:-}" || $# -eq 0 ]]; then
 fi

 if [[ -n "$project_root" ]] && git -C "$project_root" rev-parse HEAD >/dev/null 2>&1; then
+  # Refresh Git's cached stat data after build tools rewrite tracked files.
+  git -C "$project_root" update-index -q --refresh 2>/dev/null || true
  if [[ ${ALLOW_UNCOMMITTED:-0} != 1 ]] && ! git -C "$project_root" diff-index --quiet HEAD -- 2>/dev/null; then
    echo "Error: working tree has uncommitted changes; refusing to publish." >&2
    echo "Commit first, or set ALLOW_UNCOMMITTED=1 to publish anyway." >&2