From 89d44beb92b275151bb4766c423202f3d455aa23 Mon Sep 17 00:00:00 2001
From: Davide Scaini <davide.scaini@alumni.cern>
Date: Sun, 29 Mar 2026 16:08:20 +0200
Subject: [PATCH] fix publish.sh: ignore untracked files in dirty-check

---
 publish.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/publish.sh b/publish.sh
index c16ebf0..0c016b5 100755
--- a/publish.sh
+++ b/publish.sh
@@ -20,7 +20,7 @@ if ! git -C "$LOCAL_DIR" remote get-url "$REMOTE" &>/dev/null; then
     echo "  git remote add ${REMOTE} https://github.com/brutsalvadi/bincio-activity.git"
     exit 1
 fi
-if [[ -n "$(git -C "$LOCAL_DIR" status --porcelain)" ]]; then
+if [[ -n "$(git -C "$LOCAL_DIR" status --porcelain --untracked-files=no)" ]]; then
     echo "ERROR: uncommitted changes. Commit or stash first."
     exit 1
 fi