don't actually need the ref exactly

Author: lorenzwalthert

.github/workflows/benchmarking.yaml

@@ -26,16 +26,15 @@ jobs:
         run: |
           git config --local user.name "GitHub Actions"
           git config --local user.email "[email protected]"
-      - uses: FranzDiebold/[email protected]
       - name: Ensure base branch is fetched
         if: ${{ github.event_name == 'pull_request' }}
         run: |
-          git checkout -b $GITHUB_REF_NAME
-          echo "$GITHUB_REF_NAME" > github_ref_name
+          git checkout -b $GITHUB_EVENT_PULL_REQUEST_HEAD_SHA
           echo "$GITHUB_REF_NAME"
-          # git branch $GITHUB_BASE_REF remotes/origin/$GITHUB_BASE_REF
+          echo "$GITHUB_BASE_REF"
           git branch
           git branch -va
+          git branch $GITHUB_BASE_REF remotes/origin/$GITHUB_BASE_REF
       - name: Setup R
         uses: r-lib/actions/setup-r@master
       - name: Query dependencies