[Website] Added push to website repo

2016-05-19 10:30:28 -07:00
parent b2c6db6207
commit edb158f2d3
1 changed files with 1 additions and 0 deletions
--- a/build-docs.sh
+++ b/build-docs.sh
@@ -57,3 +57,4 @@ echo "git add ."
 git add .
 echo "git commit -m \"Docs updated from build build $BUILD_SHA\""
 git commit -m "Docs updated from build build $BUILD_SHA"
+git push