diff --git a/.gitignore b/.gitignore index 8527286b..3dc79e5d 100644 --- a/.gitignore +++ b/.gitignore @@ -43,4 +43,3 @@ build/config/buildinfo.properties www-built www-ghdeploy -/push_to_gh_pages.sh diff --git a/push_to_gh_pages.sh b/push_to_gh_pages.sh new file mode 100755 index 00000000..4a43edd4 --- /dev/null +++ b/push_to_gh_pages.sh @@ -0,0 +1 @@ +git checkout gh-pages; git merge master; git push; git checkout master