mirror-all-to-github: script to force full github sync

1 files changed, 12 insertions, 0 deletions

diff --git a/mirror-all-to-github.sh b/mirror-all-to-github.sh
new file mode 100755
index 0000000..edaa6a9
--- /dev/null
+++ b/mirror-all-to-github.sh
@@ -0,0 +1,12 @@
+#!/bin/sh
+set -x
+cd /git
+find  -path './users' -prune -o -name config -print | while read repo_config; do
+    pushd $(dirname $repo_config) 
+
+    if [ -e git-daemon-export-ok -a -e HEAD -a -e $(awk '{ print $2 }' HEAD) ]; then
+        /git/bin/post-receive-mirror-github
+    fi
+
+    popd
+done