7 REPO_DIR
=/home
/repo
/repo
8 LOCK_FILE
=/tmp
/updateweb-
$cfg_tmpsuffix.lock
12 # Make sure we don't run twice.
13 if [ -s ${LOCK_FILE} ] && kill -0 $
(cat ${LOCK_FILE}) 2>/dev
/null
; then
14 echo "Already running updateweb.sh (stuck?) with pid $(cat ${LOCK_FILE})" >&2
21 if [ -n "$(git rev-list $BRANCH..$REMOTE/$BRANCH)" ]; then
22 case "$(git describe --always --dirty=..dirty)" in *..dirty
)
23 echo "updateweb.sh: refusing to update because worktree is dirty" >&2
27 git merge
--ff-only $REMOTE/$BRANCH && \
28 git submodule update
--init --recursive && \