Incorporate version override

Author: blast-hardcheese

.github/workflows/release.yml

@@ -1,4 +1,5 @@
 name: Release
+run-name: "Release${{ inputs.version && format(' ({0})', inputs.version) || format(' (auto: {0})', github.ref_name) }}"
 
 on:
   release:
@@ -12,6 +13,9 @@ on:
         options:
           - From Tag
           - scala-pekko-http
+      version:
+        type: input
+        description: 'What version to use (default: derive from git)'
 
 jobs:
   publish:
@@ -40,11 +44,21 @@ jobs:
         run: |
           java -version
           gpg --version
+      - name: Incorporate version override
+        id: version-override
+        run: |
+          version="${{github.event.inputs.version}}"
+          if [ -n "$version" ]; then
+            # -Dproject.version permits overriding version
+            # https://github.com/sbt/sbt-git/blob/HEAD/src/main/scala/com/github/sbt/git/GitPlugin.scala#L183
+            echo "JAVA_OPTS=-Dproject.version=$version" >> $GITHUB_OUTPUT
+          fi
       - name: 'Publish artifacts [scala-pekko-http]'
         if: ${{ steps.set-project-from-tag.outputs.module == 'scala-pekko-http' }}
 #       run: sbt 'show version' "project guardrail-scala-pekko-http" clean compile versionCheck test ci-release
         run: sbt 'show version' "project guardrail-scala-pekko-http" clean compile versionCheck ci-release
         env:
+          JAVA_OPTS: ${{ steps.version-override.outputs.JAVA_OPTS }}
           PGP_PASSPHRASE: ${{ secrets.PGP_PASSPHRASE }}
           PGP_SECRET: ${{ secrets.PGP_SECRET }}
           SONATYPE_USERNAME: ${{ secrets.SONATYPE_USERNAME }}