release.sh: pull website repository before

2015-07-30 22:45:23 +02:00 · 2015-07-30 22:45:23 +02:00 · ad826f06da
parent 5ee679c514
commit ad826f06da
1 changed files with 6 additions and 0 deletions
--- 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."