From 1887e1cca6e988786c600660f2e1090bf69cbf2e Mon Sep 17 00:00:00 2001
From: Johannes Stoelp <johannes.stoelp@gmail.com>
Date: Sat, 26 Aug 2023 23:22:18 +0200
Subject: git: add runner to mirror github projects

---
 roles/git/files/runner-mirror/mirror.sh | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100755 roles/git/files/runner-mirror/mirror.sh

(limited to 'roles/git/files/runner-mirror/mirror.sh')

diff --git a/roles/git/files/runner-mirror/mirror.sh b/roles/git/files/runner-mirror/mirror.sh
new file mode 100755
index 0000000..a517b86
--- /dev/null
+++ b/roles/git/files/runner-mirror/mirror.sh
@@ -0,0 +1,33 @@
+#!/bin/sh
+
+function mirror() {
+    local repo=$1
+
+    if [ ! -d $repo ]; then
+        git clone --mirror https://github.com/johannst/$repo
+    else
+        git -C $repo fetch --all --prune
+    fi
+
+    git -C $repo push --mirror ssh://git.memzero.de/mirror/$repo
+}
+
+function lock() {
+    # Open lock file.
+    exec 42<> /tmp/mirror.lock
+    # Get exclusive lock.
+    flock -x 42
+    # Automatically unlock on exit.
+    trap "flock -u 42" EXIT
+}
+
+# Ensure only a single script instance runs at a time.
+lock
+
+mkdir -p mirrors
+pushd mirrors
+
+for R in $(cat /projects.list | awk -F '/' '/mirror/ { print $2 }'); do
+    echo "==> REPO: $R"
+    mirror $R
+done
-- 
cgit v1.2.3