[ci] Adapting pulls depending on the originating event

[skip ci]

Author: diemol

.github/workflows/bazel.yml

@@ -83,10 +83,15 @@ jobs:
       - name: Checkout source tree
         uses: actions/checkout@v4
       - name: Show current branch
-        run: echo '${{ github.head_ref }}'
-      - name: Pull latest changes
-        if: startsWith(github.head_ref, 'renovate/')
+        run: |
+          echo "head_ref: ${{ github.head_ref }}, ref: ${{ github.ref }}"
+        shell: bash
+      - name: Pull latest changes from head ref for PRs
+        if: contains(github.head_ref, 'renovate/')
         run: git pull origin ${{ github.head_ref }}
+      - name: Pull latest changes from ref for branch pushes
+        if: contains(github.ref, 'renovate/')
+        run: git pull origin ${{ github.ref }}
       - name: Free space
         if: inputs.os != 'windows'
         run: ./scripts/github-actions/free-disk-space.sh