Retry release upload

This commit is contained in:
2025-09-30 14:28:19 +02:00
parent 4d8afe4799
commit de9ed017a3
+7 -2
View File
@@ -1,8 +1,13 @@
#!/usr/bin/env python3
import os
import requests
import sys
from typing import Optional
try:
import requests
except ModuleNotFoundError:
print("ERROR: Python 'requests' package is required. Please install it (e.g., pip install requests).")
sys.exit(1)
gitea_api_url = "https://gitea.psi.ch/api/"
repo_owner = "mx"
@@ -63,7 +68,7 @@ def get_release_by_tag(version: str):
sys.exit(1)
return resp.json()
def upload_file_to_release(version: str, file_path: str, name: str | None = None, label: str | None = None):
def upload_file_to_release(version: str, file_path: str, name: Optional[str] = None, label: Optional[str] = None):
"""
Upload a file as an asset to the release identified by the given version tag.