@@ -3,7 +3,6 @@
set -e
set -u
SITEDIR=~/website
PRODUCTION_BRANCH=master
git_rev_name() {
@@ -12,7 +11,6 @@ git_rev_name() {
# If the checkout is not on the production branch,
# assume maintenance is happening and stop.
cd "$SITEDIR"
if [ "$(git_rev_name HEAD)" != "$PRODUCTION_BRANCH" ]; then
exit 0
fi