From 25dbf14d27fccc2877c7f6d5dd21392fd3fbd7bb Mon Sep 17 00:00:00 2001
From: Christoph Schmidt <christoph.schmidt@tum.de>
Date: Wed, 9 Sep 2026 13:16:28 +0200
Subject: [PATCH] Fail if source directory to be synced

to the server is empty. Sync it to the web server if not.
---
 .github/workflows/deploy.yml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 283cad2..acc9f86 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -29,8 +29,13 @@ jobs:
         shell: bash
         run: |
           sudo apt-get install -y lftp
-          cd $LOCAL_DIR
-          lftp -u $USERNAME --env-password $SERVER -e "set ftp:ssl-protect-data true; set ssl:verify-certificate false; set ftp:list-options -a; cd $SERVER_DIR; mirror -R --delete . .; exit"
+          cd "$LOCAL_DIR"
+          if [ -z "$(find . -mindepth 1 -maxdepth 1 -print -quit)" ]; then
+              echo "Local directory '$LOCAL_DIR' is empty; aborting deploy" >&2
+              exit 1
+          fi
+          # Sync local directory to web server
+          lftp -u "$USERNAME" --env-password "$SERVER" -e "set ftp:ssl-protect-data true; set ssl:verify-certificate false; set ftp:list-options -a; cd $SERVER_DIR; mirror -R --delete . .; exit"
         env:
           SERVER: ${{ vars.FOUR_C_WEBSITE_SERVER }}
           USERNAME: ${{ secrets.FOUR_C_WEBSITE_USERNAME }}