From d26763504b147ebbf78243feb8b910d38aaef9b0 Mon Sep 17 00:00:00 2001
From: bretello <bretello@distruzione.org>
Date: Fri, 14 Jun 2024 17:58:07 +0200
Subject: [PATCH] add push-to-checkout git hook

---
 push-to-checkout | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 push-to-checkout

diff --git a/push-to-checkout b/push-to-checkout
new file mode 100644
index 0000000..a4fea99
--- /dev/null
+++ b/push-to-checkout
@@ -0,0 +1,3 @@
+#!/bin/sh
+# checks out the received ref on push
+git read-tree -u -m HEAD "$1"