From b681cf78bd1a20e25ccb8a4381ae470da6f0cc83 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Mon, 7 Jun 2021 22:10:37 -0300
Subject: Remove CI files under aux/: remove website from CI

Since I'm already only publishing from my local machine.
---
 aux/ci/git-post-receive.sh | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100755 aux/ci/git-post-receive.sh

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

diff --git a/aux/ci/git-post-receive.sh b/aux/ci/git-post-receive.sh
deleted file mode 100755
index ee8075f..0000000
--- a/aux/ci/git-post-receive.sh
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/bin/sh
-set -eu
-
-for n in $(seq 0 $((GIT_PUSH_OPTION_COUNT - 1))); do
-	opt="$(eval "echo \$GIT_PUSH_OPTION_$n")"
-	if [ "$opt" = skip-ci ] || [ "$opt" = ci-skip ]; then
-		printf "\n'%s' option detected, not running ci-build.sh\n\n" "$opt"
-		exit 0
-	fi
-done
-
-PACKAGE="$(basename "$PWD" | cut -d. -f1)" # remove .git suffix
-LOGS_DIR="/opt/ci/$PACKAGE/logs"
-"/opt/ci/$PACKAGE/ci-build.sh" "$PACKAGE" "$LOGS_DIR"
-- 
cgit v1.3