From 231925c47c98ae3999cf3dc6b33e2bf2ba0fd66c Mon Sep 17 00:00:00 2001
From: He4eT <He4eT@oddsquat.org>
Date: Sun, 14 Jan 2024 22:18:51 +0100
Subject: [PATCH] tools: release script for github pages

---
 tools/gh.release.sh | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100755 tools/gh.release.sh

diff --git a/tools/gh.release.sh b/tools/gh.release.sh
new file mode 100755
index 0000000..e43d949
--- /dev/null
+++ b/tools/gh.release.sh
@@ -0,0 +1,23 @@
+#! /bin/bash
+
+GIT_ROOT=`git rev-parse --show-toplevel`
+
+CURRENT_TIMESTAMP=`date +"%Y-%m-%d-%H%M%S"`
+
+RELEASE_BRANCH='release'
+BUILD_DIR='docs'
+
+git checkout master
+git branch -D $RELEASE_BRANCH
+git checkout -b $RELEASE_BRANCH
+
+rm -rf "$GIT_ROOT/$BUILD_DIR"
+npm run build
+
+git add "$GIT_ROOT/$BUILD_DIR"
+git commit -m "release: $CURRENT_TIMESTAMP"
+
+git push -f origin $RELEASE_BRANCH
+
+rm -rf "$GIT_ROOT/$BUILD_DIR"
+git checkout master