From e406d80377858f37ce683163b2b0ce45e59cfe9f Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sun, 8 Oct 2023 08:26:37 -0300
Subject: Init server infrastructure files

---
 src/ci/git-pre-receive.sh | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 src/ci/git-pre-receive.sh

(limited to 'src/ci/git-pre-receive.sh')

diff --git a/src/ci/git-pre-receive.sh b/src/ci/git-pre-receive.sh
new file mode 100755
index 0000000..8cd83ee
--- /dev/null
+++ b/src/ci/git-pre-receive.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+set -eu
+
+read -r _oldrev SHA _refname
+unset GIT_DIR
+
+if [ "$SHA" = '0000000000000000000000000000000000000000' ]; then
+	exit
+fi
+
+printf 'Upgrading post-receive hook...' >&2
+git show "$SHA":src/infrastructure/ci/git-post-receive.sh > hooks/post-receive
+chmod +x hooks/post-receive
+printf 'done.\n' >&2
-- 
cgit v1.2.3