From 25e5824f8cdc9c1d4dd866c354f385ed13f854a6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gonzalo=20Garramu=C3=B1o?= Date: Sun, 22 Dec 2024 04:16:56 -0300 Subject: [PATCH] Fixed pre-commit hook. --- .githooks/pre-commit | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.githooks/pre-commit b/.githooks/pre-commit index faf59984..35c483b1 100755 --- a/.githooks/pre-commit +++ b/.githooks/pre-commit @@ -20,9 +20,9 @@ do dos2unix $FILE echo "Changing $FILE permissions to 0755" chmod 0755 $FILE + git add $FILE # Explicitly set executable bit in Git git update-index --chmod=+x $FILE - git add $FILE fi else if [[ -d $FILE ]]; then