From 53d7c1b4de2d443d531ac4b630f6976c88640815 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Wed, 27 Jan 2021 13:09:42 -0300
Subject: mv build-aux/ aux/

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

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

diff --git a/build-aux/ci/git-post-receive.sh b/build-aux/ci/git-post-receive.sh
deleted file mode 100755
index 2f6e3c0..0000000
--- a/build-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="/data/ci/$PACKAGE/logs"
-"/data/ci/$PACKAGE/ci-build.sh" "$PACKAGE" "$LOGS_DIR"
-- 
cgit v1.2.3