File diff 2aaea4b783c6 → ab0b2401dbb8
cron/scripts/website-update.sh
Show inline comments
 
#!/bin/sh
 

	
 
set -e
 
set -u
 

	
 
PRODUCTION_BRANCH=master
 
PRODUCTION_BRANCH="${PRODUCTION_BRANCH:-master}"
 

	
 
git_rev_name() {
 
    git rev-parse --abbrev-ref --symbolic-full-name "$@"
 
}
 

	
 
# If the checkout is not on the production branch,
 
# assume maintenance is happening and stop.
 
if [ "$(git_rev_name HEAD)" != "$PRODUCTION_BRANCH" ]; then
 
    exit 0
 
fi
 

	
 
# Abort if the production branch isn't tracking a remote branch.