From 136b56688a024f04c047e0da24d656c76647ff5b Mon Sep 17 00:00:00 2001 From: Julian Prein Date: Fri, 30 May 2025 01:23:31 +0200 Subject: [PATCH] hooks:pre-push: Switch back to /bin/sh It's not worth it to sacrifice the portability of the script for a bit of integer-aid. --- meta/git/hooks/pre-push | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/meta/git/hooks/pre-push b/meta/git/hooks/pre-push index 868a977..3b4d74b 100755 --- a/meta/git/hooks/pre-push +++ b/meta/git/hooks/pre-push @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # A hook script to verify what is about to be pushed. Called by "git push" # after it has checked the remote status, but before anything has been pushed. @@ -27,9 +27,10 @@ url="$2" zero=$(git hash-object --stdin &2 "%s: Commits in progress:\n" "$local_ref" printf >&2 "%s\n" "$commits" printf >&2 "Aborting push\n"