add an alias for 'git push origin master:gh-pages' to .bash_aliases