From ff433f98133662063cbb16e220fd44c678c82823 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B8rn=20Erik=20Pedersen?=
 <bjorn.erik.pedersen@gmail.com>
Date: Fri, 21 Jul 2017 11:01:13 +0200
Subject: [PATCH] Add script to pull in docs changes

---
 pull-docs.sh | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 pull-docs.sh

diff --git a/pull-docs.sh b/pull-docs.sh
new file mode 100755
index 000000000..afe8fce85
--- /dev/null
+++ b/pull-docs.sh
@@ -0,0 +1,5 @@
+#!/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
+