From edc6d716825f46c861835f955bd0f6a09afe9283 Mon Sep 17 00:00:00 2001
From: Mitchell Hashimoto <mitchell.hashimoto@gmail.com>
Date: Tue, 3 Sep 2013 11:37:54 -0700
Subject: [PATCH] scripts: add website_push_docs

---
 scripts/website_push_docs.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 scripts/website_push_docs.sh

diff --git a/scripts/website_push_docs.sh b/scripts/website_push_docs.sh
new file mode 100755
index 000000000..ec2d8a09f
--- /dev/null
+++ b/scripts/website_push_docs.sh
@@ -0,0 +1,12 @@
+#!/bin/bash
+
+# Get the parent directory of where this script is.
+SOURCE="${BASH_SOURCE[0]}"
+while [ -h "$SOURCE" ] ; do SOURCE="$(readlink "$SOURCE")"; done
+DIR="$( cd -P "$( dirname "$SOURCE" )/.." && pwd )"
+
+# Change into that directory
+cd $DIR
+
+# Push the subtree (force)
+git push heroku-docs `git subtree split --prefix website/docs master`:master --force