#!/usr/bin/env bash
echo "==== GitHub mirror start: $(date) ===="
git push --mirror <ssh uri to mirror repo>
echo "==== GitHub mirror end: $(date) ===="