#!/bin/bash

find /var/git -maxdepth 2 -name config -type f | \
	xargs grep -F '[remote "github"]' -l | \
	xargs dirname  | \
	while read d
		do git -C $d push -q github --mirror || echo "Mirroring $d failed"
	done