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