From 6be92345407fdf32d067b945cc7ba8d8464d18c7 Mon Sep 17 00:00:00 2001
From: Lennart Kloock <lennart@scuffle.cloud>
Date: Sun, 19 Jan 2025 01:00:25 +0100
Subject: [PATCH] fix(ci): bash script

---
 .github/patch-docs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/patch-docs.sh b/.github/patch-docs.sh
index a93d2fc6b..3e58cfd87 100755
--- a/.github/patch-docs.sh
+++ b/.github/patch-docs.sh
@@ -7,7 +7,7 @@ short_commit_hash=$3
 pull_request_number=$4
 
 pull_request_code=""
-if [ -n "$pull_request_number" ] then
+if [ -n "$pull_request_number" ]; then
     pull_request_code="<br><a href=\"$repo_url/pull/$pull_request_number\">Pull Request $pull_request_number</a>"
 fi