From c7e24f970da4ec9744bf3025ccaf6b31f6258f83 Mon Sep 17 00:00:00 2001
From: MuldeR <mulder2@gmx.de>
Date: Sat, 14 Feb 2026 14:07:00 +0100
Subject: [PATCH] Fixed processing of GitHub repository URL in worker.sh
 script.

---
 code/worker.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/code/worker.sh b/code/worker.sh
index 37ed22d9a5..0da06a82ac 100644
--- a/code/worker.sh
+++ b/code/worker.sh
@@ -48,7 +48,7 @@ if [ x"${URL:0:22}" == x"https://api.github.com" ] || [ x"${GHURL:0:22}" == x"ht
   echo "URL from GitHub API: $URL"
   GHUSER=$(echo "$URL" | cut -d '/' -f 4)
   GHREPO=$(echo "$URL" | cut -d '/' -f 5)
-  LICENSE=$(echo "$API_JSON" | grep spdx_id | cut -d '"' -f 4 | head -n 1)
+  LICENSE=$(echo "$API_JSON" | grep spdx_id | cut -d '"' -f 4 | head -n 1) || true
 fi
 
 # Download the file if it is not already there