From 26719337d8d4bc58faddf6b574672af4d855ec0a Mon Sep 17 00:00:00 2001
From: turret <turret@duck.com>
Date: Wed, 4 Oct 2023 14:09:20 -0500
Subject: meta: organise into directory

---
 repo-specific/github-mirror | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100755 repo-specific/github-mirror

(limited to 'repo-specific/github-mirror')

diff --git a/repo-specific/github-mirror b/repo-specific/github-mirror
new file mode 100755
index 0000000..9223975
--- /dev/null
+++ b/repo-specific/github-mirror
@@ -0,0 +1,24 @@
+#!/bin/sh
+# based on https://cgit.gentoo.org/infra/githooks.git/plain/github-mirror/github-mirror
+
+# simple gitolite mirroring
+
+# flush STDIN coming from git, because gitolite's own post-receive.mirrorpush
+# script does the same thing
+[ -t 0 ] || cat >/dev/null
+
+if [ -z "${GL_REPO}" ]; then
+	echo "GL_REPO not set" >&2
+	exit 1
+fi
+
+targets=$(git config --get mirror.url)
+[ -z "${targets}" ] && exit 0
+
+[ -z "${GIT_SSH_KEY}" ] && export GIT_SSH_KEY=$(git config --get mirror.pubkey)
+export GIT_SSH=$(dirname "$(readlink -f "$0")")/github-ssh-wrapper
+
+for target in ${targets}; do
+	# --force because someone may accidentally push into the mirror
+	git push --mirror --force ${target}
+done
-- 
cgit v1.2.3