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/ci-build.sh         | 52 ----------------------------------
 aux/ci/git-post-receive.sh | 14 ----------
 aux/ci/git-pre-push.sh     | 21 --------------
 aux/ci/report.sh           | 70 ----------------------------------------------
 4 files changed, 157 deletions(-)
 delete mode 100755 aux/ci/ci-build.sh
 delete mode 100755 aux/ci/git-post-receive.sh
 delete mode 100755 aux/ci/git-pre-push.sh
 delete mode 100755 aux/ci/report.sh

diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh
deleted file mode 100755
index b6769a9..0000000
--- a/aux/ci/ci-build.sh
+++ /dev/null
@@ -1,52 +0,0 @@
-#!/bin/sh
-set -eux
-
-PACKAGE="$1"
-LOGS_DIR="$2"
-read -r _ SHA _ # oldrev newrev refname
-FILENAME="$(date -Is)-$SHA.log"
-LOGFILE="$LOGS_DIR/$FILENAME"
-
-{
-	echo "Starting CI job at: $(date -Is)"
-
-	finish() {
-		STATUS="$?"
-		printf "\n\n>>> exit status was %s\n" "$STATUS"
-		echo "Finishing CI job at: $(date -Is)"
-		cd -
-		NOTE=$(cat <<EOF
-See CI logs with:
-	git notes --ref=refs/notes/ci-logs show $SHA
-	git notes --ref=refs/notes/ci-data show $SHA
-EOF
-)
-		git notes --ref=refs/notes/ci-data add -f -m "$STATUS $FILENAME"
-		git notes --ref=refs/notes/ci-logs add -f -F "$LOGFILE"
-		git notes append -m "$NOTE"
-
-		cd -
-		sh aux/ci/report.sh "$PACKAGE"
-		rsync -a public/ "/srv/http/$PACKAGE/" --delete
-
-		printf "\n>>>\n>>> CI logs added as Git note.\n>>>\n>>> Run status was %s" "$STATUS"
-	}
-	trap finish EXIT
-
-	unset GIT_DIR
-	REMOTE="$PWD"
-	cd "$(mktemp -d)"
-	git clone "$REMOTE" .
-	git config --global user.email git@euandre.org
-	git config --global user.name 'EuAndreh CI'
-	git fetch origin refs/notes/*:refs/notes/*
-	git annex get ||:
-
-	if [ -f aux/guix/with-container.sh ]; then
-		RUNNER='./aux/guix/with-container.sh'
-	else
-		RUNNER='sh -c'
-	fi
-
-	$RUNNER 'make clean public dev-check'
-} 2>&1 | tee "$LOGFILE"
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"
diff --git a/aux/ci/git-pre-push.sh b/aux/ci/git-pre-push.sh
deleted file mode 100755
index e73b9b8..0000000
--- a/aux/ci/git-pre-push.sh
+++ /dev/null
@@ -1,21 +0,0 @@
-#!/bin/sh
-set -eux
-
-TLD="$(cat aux/tld.txt)"
-
-PACKAGE="$(basename "$PWD")"
-LOGS_DIR="/opt/ci/$PACKAGE/logs"
-REMOTE_GIT_DIR="/srv/git/$PACKAGE.git"
-
-DESCRIPTION="$(mktemp)"
-if [ -f description ]
-then
-	cp description "$DESCRIPTION"
-else
-	git config euandreh.description > "$DESCRIPTION"
-fi
-
-scp "$DESCRIPTION" "$TLD:$REMOTE_GIT_DIR/description"
-ssh "$TLD" mkdir -p "$LOGS_DIR"
-scp aux/ci/ci-build.sh         "$TLD:$(dirname "$LOGS_DIR")/ci-build.sh"
-scp aux/ci/git-post-receive.sh "$TLD:$REMOTE_GIT_DIR/hooks/post-receive"
diff --git a/aux/ci/report.sh b/aux/ci/report.sh
deleted file mode 100755
index 65d3335..0000000
--- a/aux/ci/report.sh
+++ /dev/null
@@ -1,70 +0,0 @@
-#!/bin/sh
-set -eu
-
-PROJECT_UC="$1"
-
-PASS='✅'
-FAIL='❌'
-
-mkdir -p public/ci-logs public/ci-data
-
-OUT="$(mktemp)"
-chmod 644 "$OUT"
-
-git fetch origin refs/notes/*:refs/notes/* ||:
-
-for c in $(git notes list | cut -d\  -f2); do
-	DATA="$(git notes --ref=refs/notes/ci-data show "$c")"
-	FILENAME="$(echo "$DATA" | cut -d\  -f2)"
-	echo "$DATA" > "public/ci-data/$FILENAME"
-	git notes --ref=refs/notes/ci-logs show "$c" > "public/ci-logs/$FILENAME"
-done
-
-cat <<EOF >> "$OUT"
-<!DOCTYPE html>
-<html lang="en">
-	<head>
-		<meta charset="UTF-8" />
-		<meta name="viewport" content="width=device-width, initial-scale=1" />
-		<link rel="icon" type="image/svg+xml" href="favicon.svg" />
-
-		<style>
-			pre {
-				display: inline;
-			}
-		</style>
-	</head>
-	<body>
-		<h1>
-			CI logs for $PROJECT_UC
-		</h1>
-		<ul>
-EOF
-
-for f in $(find public/ci-data/ -type f | LANG=C.UTF-8 sort -r); do
-	DATA="$(cat "$f")"
-	STATUS="$(echo "$DATA" | cut -d\  -f1)"
-	FILENAME="$(echo "$DATA" | cut -d\  -f2)"
-
-	if [ "$STATUS" = 0 ]; then
-		STATUS_MARKER="$PASS"
-	else
-		STATUS_MARKER="$FAIL"
-	fi
-
-	cat <<EOF >> "$OUT"
-			<li>
-				<a href="ci-logs/$FILENAME">
-					$STATUS_MARKER <pre>$FILENAME</pre>
-				</a>
-			</li>
-EOF
-done
-
-cat <<EOF >> "$OUT"
-		</ul>
-	</body>
-</html>
-EOF
-
-mv "$OUT" public/ci.html
-- 
cgit v1.2.3