Allow the pull-docs script to pull other than master

diff --git a/pull-docs.sh b/pull-docs.sh
index afe8fce855ceb75b07ee82be3fe9bcdffdbc2b3d..b8850530a173761edf94528345319205ddfc3f05 100755 (executable)
--- a/pull-docs.sh
+++ b/pull-docs.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+HUGO_DOCS_BRANCH="${HUGO_DOCS_BRANCH-master}"
+
 # We may extend this to also push changes in the other direction, but this is the most important step.
-git subtree pull --prefix=docs/ https://github.com/gohugoio/hugoDocs.git master --squash
+git subtree pull --prefix=docs/ https://github.com/gohugoio/hugoDocs.git ${HUGO_DOCS_BRANCH} --squash