github: Use dawidd6/action-download-artifact with the new ref: option

This allows specifying either a commit or a branch in the same
field, allowing simplifying both the workflow inputs, and
the expressions for passing commit/branch to both
dawidd6/action-download-artifact and actions/checkout.

This new option is available since
https://github.com/dawidd6/action-download-artifact/pull/329.

.github/workflows/release.yml

@@ -2,11 +2,8 @@ name: Make a release, upload artifacts
 on:
   workflow_dispatch:
     inputs:
-      commit:
-        description: 'Commit to extract from'
-        type: string
-      branch:
-        description: 'Branch to extract from'
+      ref:
+        description: 'Ref to extract from'
         type: string
         default: 'master'
       tag:
@@ -39,12 +36,11 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Download artifacts
-        uses: dawidd6/action-download-artifact@v6
+        uses: dawidd6/action-download-artifact@v10
         with:
           workflow: build.yml
           workflow_conclusion: success
-          commit: ${{inputs.commit}}
-          branch: ${{inputs.commit == '' && inputs.branch || ''}}
+          ref: ${{inputs.ref}}
           event: push
       - name: Rearrange files
         run: |
@@ -56,7 +52,7 @@ jobs:
           cat parameters/parameters.txt >> $GITHUB_ENV
       - uses: actions/checkout@v4
         with:
-          ref: ${{ (inputs.commit != '' && inputs.commit) || inputs.branch }}
+          ref: ${{inputs.ref}}
           path: repo
       - name: Make a tag
         if: ${{inputs.make_tag}}