Cleanup deploy script

Author: gossi

bin/deploy.sh

@@ -13,21 +13,12 @@ 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:"
 git fetch upstream
-echo "Reset to gh-pages:"
 git reset upstream/gh-pages
 
 touch .
 
-echo "Add everything new:"
 git add -A .
-echo "Commit:"
 git commit -m "rebuild API at ${rev}"
-echo "Push:"
 git push upstream HEAD:gh-pages