echo "post-commit..." git push gh --mirror -q git push sh --mirror -q