From b7bd979d7971677d9c8c1634b240f41fbf051cd8 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Mon, 10 Mar 2025 14:32:39 -0300
Subject: rm -rf aux/ci/

---
 aux/ci/git-pre-receive.sh | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100755 aux/ci/git-pre-receive.sh

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

diff --git a/aux/ci/git-pre-receive.sh b/aux/ci/git-pre-receive.sh
deleted file mode 100755
index 199d06e..0000000
--- a/aux/ci/git-pre-receive.sh
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/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":aux/ci/git-post-receive.sh > hooks/post-receive
-chmod +x hooks/post-receive
-printf 'done.\n' >&2
-- 
cgit v1.2.3