TO-DROP: clone build-extra from dscho/please-sh-tolerate-missing-sparse

So that the `ci-artifacts` and `check-for-missing-dlls` workflows can
go green on this PR before the matching build-extra change
(git-for-windows/build-extra#710) lands.

Drop this commit once that PR is merged and `git-for-windows/build-extra`
`main` carries the fix.

Assisted-by: Opus 4.7
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>

Author: dscho

.github/workflows/check-for-missing-dlls.yml

@@ -29,7 +29,11 @@ jobs:
         env:
           REF: ${{github.ref}}
       - name: clone build-extra
-        run: git clone --depth=1 --single-branch -b main https://github.com/git-for-windows/build-extra
+        shell: bash
+        run: |
+          git clone --depth=1 --single-branch \
+            -b please-sh-tolerate-missing-sparse \
+            https://github.com/dscho/build-extra
       - name: create build-installers artifact
         shell: bash
         run: |

.github/workflows/ci-artifacts.yml

@@ -30,7 +30,11 @@ jobs:
           git --git-dir=git-sdk-64.git fetch --depth=1 origin ${{github.sha}} &&
           git --git-dir=git-sdk-64.git update-ref --no-deref HEAD ${{github.sha}}
       - name: clone build-extra
-        run: git clone --depth=1 --single-branch -b main https://github.com/git-for-windows/build-extra
+        shell: bash
+        run: |
+          git clone --depth=1 --single-branch \
+            -b please-sh-tolerate-missing-sparse \
+            https://github.com/dscho/build-extra
       - name: build git-sdk-64-minimal-sdk
         shell: bash
         run: |
@@ -107,7 +111,11 @@ jobs:
           git --git-dir=git-sdk-64.git fetch --depth=1 origin ${{github.sha}} &&
           git --git-dir=git-sdk-64.git update-ref --no-deref HEAD ${{github.sha}}
       - name: clone build-extra
-        run: git clone --depth=1 --single-branch -b main https://github.com/git-for-windows/build-extra
+        shell: bash
+        run: |
+          git clone --depth=1 --single-branch \
+            -b please-sh-tolerate-missing-sparse \
+            https://github.com/dscho/build-extra
       - name: build git-sdk-64-build-installers
         shell: bash
         run: sh -x ./build-extra/please.sh create-sdk-artifact --sdk=git-sdk-64.git build-installers