try fixing the pre-push hook

delanni · Dec 15, 2023 · e1bee3c · e1bee3c
1 parent 8c0815b
commit e1bee3c
Showing 1 changed file with 4 additions and 2 deletions.
diff --git 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);