From: Michael Stapelberg Date: Thu, 30 Jul 2015 20:45:23 +0000 (+0200) Subject: release.sh: pull website repository before X-Git-Tag: 4.11~63 X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=ad826f06da385dfc44e88fc64d5ccb0b9ceae79e;p=i3%2Fi3 release.sh: pull website repository before --- 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."