diff options
| author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-09-23 10:11:20 +0200 |
|---|---|---|
| committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-09-23 10:13:40 +0200 |
| commit | 9436f0b0c31d2df49647e301ab3d6e2053b356b8 (patch) | |
| tree | d78358e69389a8ab6c9dec5a15363668ecb47885 /pull-docs.sh | |
| parent | f8fd5796bb266352e61d897430c7659ce5d6565c (diff) | |
Allow the pull-docs script to pull other than master
Diffstat (limited to 'pull-docs.sh')
| -rwxr-xr-x | pull-docs.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pull-docs.sh b/pull-docs.sh index afe8fce85..b8850530a 100755 --- 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 |