Merge branch 'main' into pr/fokichevskiy/207

LuaLS · Jan 1, 2025 · e5b3c51 · e5b3c51
2 parents e2ad300 + 04a4d44
commit e5b3c51
Showing 1 changed file with 9 additions and 11 deletions.
diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml
@@ -15,20 +15,18 @@ jobs:
 
       - name: Set Base and Head Refs
         run: |
-          BASE_REF="${{ github.event.pull_request.base.sha }}"
-          HEAD_REF="${{ github.event.pull_request.head.sha }}"
-          BASE_REMOTE="${{github.event.pull_request.base.repo.clone_url}}"
-          HEAD_REMOTE="${{github.event.pull_request.head.repo.clone_url}}"
-
-          echo "BASE_REF=$BASE_REF" >> $GITHUB_ENV
-          echo "HEAD_REF=$HEAD_REF" >> $GITHUB_ENV
-          echo "BASE_REMOTE=$BASE_REMOTE" >> $GITHUB_ENV
-          echo "HEAD_REMOTE=$HEAD_REMOTE" >> $GITHUB_ENV
+          echo "BASE_REF=${{ github.event.pull_request.base.ref }}" >> $GITHUB_ENV
+          echo "HEAD_REF=${{ github.event.pull_request.head.ref }}" >> $GITHUB_ENV
+          echo "BASE_REMOTE=${{github.event.pull_request.base.repo.clone_url}}" >> $GITHUB_ENV
+          echo "HEAD_REMOTE=${{github.event.pull_request.head.repo.clone_url}}" >> $GITHUB_ENV
 
       - name: Fetch Branches
         run: |
-          git fetch ${BASE_REMOTE} ${BASE_REF}
-          git fetch ${HEAD_REMOTE} ${HEAD_REF}
+          git remote add base $BASE_REMOTE
+          git fetch base $BASE_REF
+
+          git remote add head $HEAD_REMOTE
+          git fetch head $HEAD_REF
 
       - name: Detect Added Submodules
         run: |