From c632b257764943093d15acff440ec045e072b866 Mon Sep 17 00:00:00 2001
From: He4eT <He4eT@oddsquat.org>
Date: Fri, 22 Aug 2025 07:05:36 +0200
Subject: [PATCH] gh.release: ignore the build

---
 .gitignore          | 1 +
 tools/gh.release.sh | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 631580c..0878dcd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 node_modules
+docs
 
 # Log files
 npm-debug.log*
diff --git a/tools/gh.release.sh b/tools/gh.release.sh
index e43d949..f4ce5ff 100755
--- a/tools/gh.release.sh
+++ b/tools/gh.release.sh
@@ -14,7 +14,7 @@ git checkout -b $RELEASE_BRANCH
 rm -rf "$GIT_ROOT/$BUILD_DIR"
 npm run build
 
-git add "$GIT_ROOT/$BUILD_DIR"
+git add -f "$GIT_ROOT/$BUILD_DIR"
 git commit -m "release: $CURRENT_TIMESTAMP"
 
 git push -f origin $RELEASE_BRANCH