From 16b4909cb9d75647bae5dbadeffe8871f4fcc3a3 Mon Sep 17 00:00:00 2001
From: Sebastien Mondet <seb@mondet.org>
Date: Thu, 24 Aug 2023 14:09:58 -0400
Subject: [PATCH] Update `./please.sh deploy togithub`

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

diff --git a/please.sh b/please.sh
index cd0b928..03a96be 100755
--- a/please.sh
+++ b/please.sh
@@ -95,7 +95,7 @@ deploy_togithub () {
     mv "$dst/"* "$localpath"
     (
         cd "$localpath"
-        git add index.html main-client.js loading.gif VERSION
+        git add index.html VERSION
     )
     msg="(Staging)"
     if [ "$prod" = "true" ] ; then