cd: allow manual release on GitHub through workflow (#173)

felix-seifert · web-flow · commit 68d80c748f63 · 2024-01-09T07:59:00.000+01:00
diff --git a/.github/workflows/release-on-github.yml b/.github/workflows/release-on-github.yml
@@ -1,6 +1,12 @@
 name: github-release
 
 on:
+  workflow_dispatch:
+    inputs:
+      tag:
+        description: Create GitHub release of following tag
+        required: true
+        type: string
   workflow_call:
     inputs:
       tag:
