Fix git fetch

emanuele-scarsella · Oct 1, 2023 · 85b1b0f · 85b1b0f
1 parent 27fe450
commit 85b1b0f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/linux-new.yml b/.github/workflows/linux-new.yml
@@ -262,8 +262,8 @@ jobs:
           # prepare lwmbs
           cd /lwmbs
           git remote set-url origin "https://github.com/${{ inputs.workflowRepo || github.repository }}"
-          git fetch origin ${{ inputs.workflowRev || github.sha }}
-          git checkout ${{ inputs.workflowRev || github.sha }}
+          git fetch --depth 1 origin ${{ inputs.workflowRev || github.sha }}
+          git checkout FETCH_HEAD
 
           cd /
           php /lwmbs/fetch_source.php \

diff --git a/.github/workflows/windows-new.yml b/.github/workflows/windows-new.yml
@@ -256,7 +256,7 @@ jobs:
           if (0 -Ne $lastexitcode) {
             exit 1
           }
-          git checkout ${{ inputs.workflowRev || github.sha }}
+          git checkout FETCH_HEAD
           if (0 -Ne $lastexitcode) {
             exit 1
           }