From 03aeb356edffac77d07f6c24ccd257a2448909ef Mon Sep 17 00:00:00 2001
From: Jeff Mitchell <jeffrey.mitchell@gmail.com>
Date: Mon, 21 Sep 2015 16:20:36 -0400
Subject: [PATCH] Use the stable-website branch for documentation pushes, to
 allow us to update the documentation async from releases.

---
 scripts/website_push.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/website_push.sh b/scripts/website_push.sh
index 970284f9c0..dc2fa5bc1b 100755
--- a/scripts/website_push.sh
+++ b/scripts/website_push.sh
@@ -1,5 +1,8 @@
 #!/bin/bash
 
+# Switch to the stable-website branch
+git checkout stable-website
+
 # Set the tmpdir
 if [ -z "$TMPDIR" ]; then
   TMPDIR="/tmp"