diff options
| author | Peter Stone <thepeterstone@gmail.com> | 2026-03-09 07:05:15 +0000 |
|---|---|---|
| committer | Peter Stone <thepeterstone@gmail.com> | 2026-03-09 07:05:15 +0000 |
| commit | fabeb3265b11d7c9089e67f51e1c081b5977986f (patch) | |
| tree | 6d146ff4898971a6d9ebbf45dda1908e02514944 /scripts | |
| parent | 8ec366de42dd66256895f16c9669469791ca823a (diff) | |
scripts: pull latest from bare repo before building in deploy
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/deploy | 3 |
1 files changed, 3 insertions, 0 deletions
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..." |