From 5cabb11e012365096bea22bbb5014dd031537c42 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sun, 18 Aug 2024 18:26:58 -0300
Subject: rm -rf src/infrastructure/{ci,config,scripts}/

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

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

diff --git a/src/infrastructure/ci/git-pre-receive.sh b/src/infrastructure/ci/git-pre-receive.sh
deleted file mode 100755
index 8cd83ee..0000000
--- a/src/infrastructure/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":src/infrastructure/ci/git-post-receive.sh > hooks/post-receive
-chmod +x hooks/post-receive
-printf 'done.\n' >&2
-- 
cgit v1.2.3