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
17 trap 'rm -f "$LOCK_FILE"' EXIT
24 if [ -n "$(git rev-list $BRANCH..$REMOTE/$BRANCH)" ]; then
25 case "$(git describe --always --dirty=..dirty)" in *..dirty
)
26 echo "updateweb.sh: refusing to update because worktree is dirty" >&2
30 git merge
--ff-only "$REMOTE/$BRANCH" &&
31 git submodule update
--init --recursive &&