[bug#78670] etc: pre-push: Use Bash instead of sh.

Message ID b5edb28e80e1e5e2de3453f15d6fb51cd9549ebd.1748865682.git.gemmaro.dev@gmail.com
State New
Headers
Series [bug#78670] etc: pre-push: Use Bash instead of sh. |

Commit Message

gemmaro June 2, 2025, 12:02 p.m. UTC
  * etc/git/pre-push (shebang): Use Bash instead of shell in the hook script.
This resolves the error encountered when running git push:
".git/hooks/pre-push: 41: Syntax error: ";" unexpected".

Change-Id: I249132122ecc57fd698dfa24e87bdf2fd0dc2080
---
 etc/git/pre-push | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)


base-commit: 93ec4131b6ea489b17622d25bd7a5194ac7eedae
  

Patch

diff --git a/etc/git/pre-push b/etc/git/pre-push
index c876b1b6a3..e6e8e7ec55 100755
--- a/etc/git/pre-push
+++ b/etc/git/pre-push
@@ -1,4 +1,4 @@ 
-#!/bin/sh
+#!/usr/bin/env bash
 
 # This hook script prevents the user from pushing to Savannah if any of the new
 # commits' OpenPGP signatures cannot be verified, or if a commit is signed