diff --git a/build-docs.sh b/build-docs.sh
index abdb7bbdbd..9fdfdc91d3 100755
--- 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