Commit a shell script to quickly deploy to github-pages

This commit is contained in:
mossroy 2013-08-04 15:44:34 +02:00
parent 796d67880d
commit d99209ae53
2 changed files with 1 additions and 1 deletions

1
.gitignore vendored
View File

@ -43,4 +43,3 @@ build/config/buildinfo.properties
www-built
www-ghdeploy
/push_to_gh_pages.sh

1
push_to_gh_pages.sh Executable file
View File

@ -0,0 +1 @@
git checkout gh-pages; git merge master; git push; git checkout master