From 9436f0b0c31d2df49647e301ab3d6e2053b356b8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B8rn=20Erik=20Pedersen?= Date: Sat, 23 Sep 2017 10:11:20 +0200 Subject: [PATCH] Allow the pull-docs script to pull other than master --- pull-docs.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/pull-docs.sh b/pull-docs.sh index afe8fce8..b8850530 100755 --- a/pull-docs.sh +++ b/pull-docs.sh @@ -1,5 +1,7 @@ #!/bin/bash -# 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 +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 ${HUGO_DOCS_BRANCH} --squash