prepare-embargoed-branches: optionally prepare for MinGit backports

MinGit backports are similar to embargoed Git for Windows versions, but
more limited in scope, and quite often, not even embargoed: Git for
Windows is only ever released for the latest major Git version and its
bugfix versions, whereas MinGit caters to 3rd party applications that
often choose to stay behind a major version or three.

Signed-off-by: Johannes Schindelin <[email protected]>

Author: dscho

.github/workflows/prepare-embargoed-branches.yml

@@ -1,12 +1,16 @@
 name: prepare-embargoed-branches
-run-name: Prepare branches for embargoed Git ${{ inputs.version }}
+run-name: Prepare branches for embargoed ${{ inputs.mingit-only && 'Min' || '' }}Git ${{ inputs.version }}
 
 on:
   workflow_dispatch:
     inputs:
       version:
         description: 'The Git version for which to prepare the branches'
         required: true
+      mingit-only:
+        description: 'Only prepare the MinGit branches'
+        default: false
+        type: boolean
 
 jobs:
   prepare-embargoed-branches:
@@ -15,7 +19,7 @@ jobs:
       - name: sanity check
         if: ${{ github.repository_owner == 'git-for-windows' }}
         run: echo "This action is not meant to be run on the Git for Windows repository" >&2 && exit 1
-      - run: actions/checkout@v4
+      - uses: actions/checkout@v4
       - name: identify actor
         id: actor
         uses: actions/github-script@v7
@@ -57,4 +61,4 @@ jobs:
               console.log(callGit(['config', '--global', `http.https://github.com/${context.repo.owner}/${repo}.extraHeader`, header]))
             }
       - name: Prepare embargoed branches
-        run: sh -x ./prepare-embargoed-branches.sh "${{ inputs.version }}"
+        run: sh -x ./prepare-embargoed-branches.sh ${{ inputs.mingit-only && '--mingit ' || ''}}"${{ inputs.version }}"