#!/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/sync-github-mirror fi popd done