Allow the pull-docs script to pull other than master

This commit is contained in:
Bjørn Erik Pedersen committed 2017-09-23 10:13:40 +02:00
1 parent f8fd5796bb
commit 9436f0b0c3
1 file changed
+3 -1
+3 -1
View File
@@ -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