From 789d866818f18cdf08c5ac54610e1134a2f72099 Mon Sep 17 00:00:00 2001
From: Florian Sihler <florian.sihler@uni-ulm.de>
Date: Fri, 8 Mar 2024 20:42:36 +0100
Subject: [PATCH] fix: mark githook as executable

---
 .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