From dfaa8fdf6ee18310db7a80979fbe44c568353be4 Mon Sep 17 00:00:00 2001
From: Davide Scaini <davide.scaini@alumni.cern>
Date: Sun, 29 Mar 2026 16:09:43 +0200
Subject: [PATCH] fix publish.sh: add only manifest files, not all untracked

---
 publish.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/publish.sh b/publish.sh
index 0c016b5..b0d993c 100755
--- a/publish.sh
+++ b/publish.sh
@@ -62,7 +62,11 @@ git -C "$LOCAL_DIR" rm -rf . --quiet
 cp -r "${STAGING}/." "${LOCAL_DIR}/"
 
 TIMESTAMP="$(date -u +%Y-%m-%dT%H:%M:%SZ)"
-git -C "$LOCAL_DIR" add -A
+# Add only files from the manifest — never picks up untracked files not in the manifest
+while IFS= read -r relpath || [[ -n "$relpath" ]]; do
+    [[ -z "$relpath" || "$relpath" == \#* ]] && continue
+    git -C "$LOCAL_DIR" add -- "$relpath"
+done < "$MANIFEST"
 git -C "$LOCAL_DIR" commit -m "Published ${TIMESTAMP}"
 git -C "$LOCAL_DIR" push --force "$REMOTE" "HEAD:${BRANCH}"