From 3f9bd994223f78b7ec4ab80820d593066f27aa56 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Fri, 11 Jun 2021 22:39:20 -0300
Subject: Update files under aux/

---
 aux/ci/git-post-receive.sh | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

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

diff --git a/aux/ci/git-post-receive.sh b/aux/ci/git-post-receive.sh
index f8986ed..ee8075f 100755
--- a/aux/ci/git-post-receive.sh
+++ b/aux/ci/git-post-receive.sh
@@ -2,11 +2,11 @@
 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
+	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
-- 
cgit v1.2.3