fix(ci): bash script

ScuffleCloud · Jan 19, 2025 · 6be9234 · 6be9234
1 parent 4181232
commit 6be9234
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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