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