From fabeb3265b11d7c9089e67f51e1c081b5977986f Mon Sep 17 00:00:00 2001 From: Peter Stone Date: Mon, 9 Mar 2026 07:05:15 +0000 Subject: scripts: pull latest from bare repo before building in deploy --- scripts/deploy | 3 +++ 1 file changed, 3 insertions(+) (limited to 'scripts') diff --git a/scripts/deploy b/scripts/deploy index 5f730cc..9872755 100755 --- a/scripts/deploy +++ b/scripts/deploy @@ -20,6 +20,9 @@ REPO_DIR="$(cd "$(dirname "$0")/.." && pwd)" cd "${REPO_DIR}" +echo "==> Pulling latest from bare repo..." +git pull --ff-only local master + STASHED=false if [ "$DIRTY" = false ] && [ -n "$(git status --porcelain)" ]; then echo "==> Stashing uncommitted changes..." -- cgit v1.2.3