From 64e8d451b00a4168346f7047b69860f211b5570e Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Tue, 25 Oct 2022 19:11:49 +0800
Subject: [PATCH] run-nightly.sh: do a git pull first

This ensures we have the latest repo files locally before starting
---
 automated/run-nightly.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/automated/run-nightly.sh b/automated/run-nightly.sh
index 9f21bd98..8f0ba42d 100755
--- a/automated/run-nightly.sh
+++ b/automated/run-nightly.sh
@@ -3,6 +3,7 @@
 cd "$(dirname "${BASH_SOURCE[0]}")"
 
 while true; do
+    git pull
     ./build.sh nightly-$(date -u +%F)
     date