diff --git a/skills/builder/scripts/copy_artifact.sh b/skills/builder/scripts/copy_artifact.sh index d9eb907..a31154e 100755 --- a/skills/builder/scripts/copy_artifact.sh +++ b/skills/builder/scripts/copy_artifact.sh @@ -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 diff --git a/skills/builder/scripts/publish_docker.sh b/skills/builder/scripts/publish_docker.sh index e7b2b99..ef72331 100755 --- a/skills/builder/scripts/publish_docker.sh +++ b/skills/builder/scripts/publish_docker.sh @@ -170,6 +170,7 @@ fi # Dirty-tree gate: publishing uncommitted content requires explicit opt-in. if [[ "$mode" == push && "$dry_run" == false && -n "$project_root" ]] \ && git -C "$project_root" rev-parse HEAD >/dev/null 2>&1; then + 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 diff --git a/skills/builder/scripts/upload_deb.sh b/skills/builder/scripts/upload_deb.sh index 41f245a..fe578c5 100755 --- a/skills/builder/scripts/upload_deb.sh +++ b/skills/builder/scripts/upload_deb.sh @@ -69,6 +69,7 @@ fi # Dirty-tree gate: publishing uncommitted content requires explicit opt-in. if [[ -n "$project_root" ]] && git -C "$project_root" rev-parse HEAD >/dev/null 2>&1; then + 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