Subject: [PATCH] etc: pre-push: Use Bash instead of sh.

From: gemmaro <[email-masked]>
Date: Mon, 2 Jun 2025 21:02:00 +0900

* 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(-)

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

base-commit: 93ec4131b6ea489b17622d25bd7a5194ac7eedae
-- 
2.49.0