From e1bee3c9663907acc16f4a771e5685aa07afc615 Mon Sep 17 00:00:00 2001
From: Alex Szabo <delanni.alex@gmail.com>
Date: Fri, 15 Dec 2023 23:50:44 +0100
Subject: [PATCH] try fixing the pre-push hook

---
 scripts/pre-push | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/scripts/pre-push b/scripts/pre-push
index 7fb7ae5..c89632e 100755
--- a/scripts/pre-push
+++ b/scripts/pre-push
@@ -17,8 +17,10 @@ if (lines[0].startsWith('/* generated */')) {
   fs.writeFileSync('version.js', lines.join('\n'));
   // amend the commit
   cp.execSync('git add version.js');
-  cp.execSync('git commit --amend --no-edit');
+  cp.execSync('git commit --amend -C HEAD --no-edit');
   console.log("Updated version.js");
 } else {
-  console.warn("version.js doesn't look not generated, review the pre-push script or the version.js file")
+  console.warn("version.js doesn't look not generated, review the pre-push script or the version.js file");
 }
+
+process.exit(0);
\ No newline at end of file