From 4a4fba067cb4f0fe04a2578e0e8b82c83a36ff98 Mon Sep 17 00:00:00 2001
From: bretello <bretello@distruzione.org>
Date: Fri, 14 Jun 2024 18:24:00 +0200
Subject: [PATCH] make push-to-checkout executable

---
 push-to-checkout | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 push-to-checkout

diff --git a/push-to-checkout b/push-to-checkout
old mode 100644
new mode 100755