From ad826f06da385dfc44e88fc64d5ccb0b9ceae79e Mon Sep 17 00:00:00 2001
From: Michael Stapelberg <michael@stapelberg.de>
Date: Thu, 30 Jul 2015 22:45:23 +0200
Subject: [PATCH] release.sh: pull website repository before

---
 release.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/release.sh b/release.sh
index 03e8f0cc..1ca70754 100755
--- a/release.sh
+++ b/release.sh
@@ -12,6 +12,12 @@ then
 	exit 1
 fi
 
+if ! (cd ../i3.github.io && git pull)
+then
+	echo "Could not update ../i3.github.io repository"
+	exit 1
+fi
+
 if [ ! -e "RELEASE-NOTES-${RELEASE_VERSION}" ]
 then
 	echo "RELEASE-NOTES-${RELEASE_VERSION} not found."