feat: Mirror release manually

Author: nicholasdille

.github/workflows/release.yml

@@ -4,6 +4,12 @@ on:
   push:
     tags:
     - "v*"
+  workflow_dispatch:
+    inputs:
+      tag:
+        description: 'Tag to mirror (e.g. v1.2.3)'
+        required: true
+        default: ${GITHUB_REF_NAME}
 
 permissions:
   contents: write
@@ -15,17 +21,17 @@ jobs:
       GITLAB_PROJECT: uniget-org/cli
       GITLAB_PROJECT_API: uniget-org%2Fcli
       GITLAB_REPO_URL: https://gitlab.com/${GITLAB_PROJECT}
-      GITLAB_RELEASE_API_URL: https://gitlab.com/${GITLAB_PROJECT}/-/releases/${GITHUB_REF_NAME}
-      GITLAB_PROJECT_API_URL: "https://gitlab.com/api/v4/projects/${GITLAB_PROJECT_API}/releases/${GITHUB_REF_NAME}"
+      GITLAB_RELEASE_API_URL: https://gitlab.com/${GITLAB_PROJECT}/-/releases/${{ inputs.tag }}
+      GITLAB_PROJECT_API_URL: "https://gitlab.com/api/v4/projects/${GITLAB_PROJECT_API}/releases/${{ inputs.tag }}"
     steps:
       - name: Mirror release from GitLab
         shell: bash
         run: |
           set -euo pipefail
 
-          echo "Fetching GitLab release for tag: ${GITHUB_REF_NAME}"
+          echo "Fetching GitLab release for tag: ${{ inputs.tag }}"
           if ! curl --silent --show-error --location --fail --output release.json "${GITLAB_PROJECT_API_URL}"; then
-            echo "ERROR: Failed to fetch GitLab release for tag >${GITHUB_REF_NAME}>."
+            echo "ERROR: Failed to fetch GitLab release for tag >${{ inputs.tag }}>."
             exit 1
           fi
 
@@ -37,10 +43,10 @@ jobs:
             jq -r '.description // ""' release.json
           } >"${notes_file}"
 
-          if gh release view "${GITHUB_REF_NAME}" >/dev/null 2>&1; then
-            echo "Updating existing GitHub release ${GITHUB_REF_NAME}"
-            gh release edit "${GITHUB_REF_NAME}" --title "${title}" --notes-file "${notes_file}"
+          if gh release view "${{ inputs.tag }}" >/dev/null 2>&1; then
+            echo "Updating existing GitHub release ${{ inputs.tag }}"
+            gh release edit "${{ inputs.tag }}" --title "${title}" --notes-file "${notes_file}"
           else
-            echo "Creating GitHub release ${GITHUB_REF_NAME}"
-            gh release create "${GITHUB_REF_NAME}" --title "${title}" --notes-file "${notes_file}"
+            echo "Creating GitHub release ${{ inputs.tag }}"
+            gh release create "${{ inputs.tag }}" --title "${title}" --notes-file "${notes_file}"
           fi