fixup! Add a workflow to update the Git version and manual pages

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
dscho · Oct 9, 2023 · 00d99ec · 00d99ec
1 parent 0781ada
commit 00d99ec
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/update-git-version-and-manual-pages.yml b/.github/workflows/update-git-version-and-manual-pages.yml
@@ -63,9 +63,7 @@ jobs:
         run: git sparse-checkout disable
       - name: clone git.git
         if: steps.commit.outputs.result != ''
-        uses: actions/checkout@v3
-        with:
-          path: ${{ runner.temp }}/git
+        run: git clone --bare https://github.com/git/git '${{ runner.temp }}/git'
       - name: update manual pages
         if: steps.commit.outputs.result != ''
         run: bundle exec ruby script/update-git-version.rb '${{ runner.temp }}/git' en