From 22e98c55552daa38c968a6e3e05f7a4c3e77a43a Mon Sep 17 00:00:00 2001 From: Sergey Matyunin Date: Thu, 13 Aug 2026 15:11:20 +0300 Subject: [PATCH] ci: mark the pre-push hook executable Git skips a hook without the bit and says nothing about it, so the gate would have reported success by being absent. The API cannot set the mode: a file pushed that way arrives as 100644. Issue: #121 User-Visible: no --- .githooks/pre-push | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 .githooks/pre-push diff --git a/.githooks/pre-push b/.githooks/pre-push old mode 100644 new mode 100755