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,