diff --git a/admin/automerge b/admin/automerge index 94b41d2cdca..218ecb067c7 100755 --- a/admin/automerge +++ b/admin/automerge @@ -27,8 +27,7 @@ ## and then push it. ## Intended usage: ## Have a dedicated git directory just for this. -## Have a cron job that does a hard reset (to clean up after any -## previous failures), then a git pull, then calls this script with -p. +## Have a cron job that calls this script with -r -p. die () # write error to stderr and exit { @@ -51,15 +50,16 @@ cd ../ usage () { cat 1>&2 < /dev/null" EXIT } +[ "$reset" ] && { + echo "Resetting..." + git reset --hard origin/master || die "reset error" + + echo "Pulling..." + git pull --ff-only || die "pull error" +} + + rev=$(git rev-parse HEAD) [ $(git rev-parse @{u}) = $rev ] || die "Local state does not match origin"