From 8e4ba3327ac69890f86b9bda1f9624435fb4203d Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sat, 17 Aug 2024 08:49:11 -0300
Subject: rm -rf aux/

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