From 4f8078d3626ba4256c9d278ef681a64563370694 Mon Sep 17 00:00:00 2001 From: Dan Lapid Date: Wed, 21 Aug 2024 17:24:21 +0000 Subject: [PATCH] set pre-push +x --- githooks/pre-push | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) mode change 100644 => 100755 githooks/pre-push diff --git a/githooks/pre-push b/githooks/pre-push old mode 100644 new mode 100755 index 179a9b86343..96217ad6a4c --- a/githooks/pre-push +++ b/githooks/pre-push @@ -15,10 +15,10 @@ fi while read LOCAL_REF LOCAL_SHA REMOTE_REF REMOTE_SHA do - git fetch origin master &>/dev/null - # Check all local changes, not present in origin/master, for lint. + git fetch origin main &>/dev/null + # Check all local changes, not present in origin/main, for lint. set +e - $PYTHON_PATH "$(dirname -- $BASH_SOURCE)/../tools/cross/format.py" --check git --source $LOCAL_SHA --target origin/master + $PYTHON_PATH "$(dirname -- $BASH_SOURCE)/../tools/cross/format.py" --check git --source $LOCAL_SHA --target origin/main EXIT_CODE=$? set -e case $EXIT_CODE in @@ -42,4 +42,3 @@ do ;; esac done -