Bash script to automatically push to origin/master and origin/gh-pages
forget about the file...
3.7