Permit overriding version

.github/workflows/release.yml

@@ -4,7 +4,11 @@ on:
   release:
     types:
       - released
-  workflow_dispatch: {}
+  workflow_dispatch:
+    inputs:
+      version:
+        type: input
+        description: 'What version to use (default: derive from git)'
 
 jobs:
   publish:
@@ -22,9 +26,19 @@ jobs:
         with:
           distribution: 'temurin'
           java-version: 8
+      - 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
-        run: sbt ci-release publishLegacy
+        run: sbt 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 }}