which git?

Author: gossi

bin/deploy.sh

@@ -13,6 +13,9 @@ git init
 git config user.name "gossi"
 git config user.email "[email protected]"
 
+echo "Git version:"
+git version
+
 echo "Add upstream:"
 git remote add upstream "https://$GH_TOKEN@github.com/gossi/php-code-generator.git"
 echo "Fetch upstream:"
@@ -25,6 +28,6 @@ touch .
 echo "Add everything new:"
 git add -A .
 echo "Commit:"
-git commit -m "rebuild pages at ${rev}"
+git commit -m "rebuild API at ${rev}"
 echo "Push:"
 git push upstream HEAD:gh-pages