Update scripts/patch-release.sh

Co-authored-by: Copilot <[email protected]>

Author: jvdm

scripts/patch-release.sh

@@ -274,6 +274,10 @@ main() {
         log_info "Auto-detected patch number: $patch_number"
     else
         log_info "Using provided patch number: $patch_number"
+        if [[ ! "$patch_number" =~ ^[0-9]+$ ]]; then
+            log_error "Invalid patch number: '$patch_number'. Must be a non-negative integer."
+            exit 1
+        fi
     fi
 
     local version="${release}.${patch_number}"