From 85a1bfc9991e5678f5069a38810d8d29a2075796 Mon Sep 17 00:00:00 2001
From: Joachim Wiberg <troglobit@gmail.com>
Date: Tue, 31 Oct 2023 11:29:36 +0100
Subject: [PATCH] .github: add support for manually starting a release build

Signed-off-by: Joachim Wiberg <troglobit@gmail.com>
---
 .github/workflows/release.yml | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index c41db1d0..f68c4d66 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -4,6 +4,11 @@ on:
   push:
     tags:
       - 'v[0-9]*.*'
+  workflow_dispatch:
+    inputs:
+      version:
+        required: false
+        type: string
 
 jobs:
   build:
@@ -20,7 +25,11 @@ jobs:
       - name: Set Release Variables
         id: build
         run: |
-          ver=${GITHUB_REF#refs/tags/v}
+          if [ -n "${{ inputs.version }}" ]; then
+              ver=${{ inputs.version }}
+          else
+              ver=${GITHUB_REF#refs/tags/v}
+          fi
           echo "ver=${ver}" >> $GITHUB_OUTPUT
           if echo $ver | grep -qE '[0-9.]+(-alpha|-beta|-rc)[0-9]*'; then
             echo "pre=true"  >> $GITHUB_OUTPUT