checkout GitHub pull request branch

Author: zefir-git

.github/workflows/ci.yaml

@@ -14,8 +14,15 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout repository
+        if: github.event_name != 'pull_request'
         uses: actions/checkout@v4
 
+      - name: Checkout PR branch
+        if: github.event_name == 'pull_request'
+        uses: actions/checkout@v4
+        with:
+          ref: ${{ github.event.pull_request.head.ref }}
+
       - name: Setup Node.js
         uses: actions/setup-node@v4
         with:
@@ -34,17 +41,17 @@ jobs:
 
       - name: Check uncommitted indices
         id: uncommitted_indices
+        if: github.event_name == 'pull_request'
         run: |
           echo "has_changes=$([ -n "$(git diff --name-only HEAD "**/index.ts")" ] && echo "true" || echo "false")" >> $GITHUB_OUTPUT
 
       - name: Commit indices
-        if: steps.uncommitted_indices.outputs.has_changes == 'true'
+        if: github.event_name == 'pull_request' && steps.uncommitted_indices.outputs.has_changes == 'true'
         run: |
           echo "${{ secrets.BOT_PGP_KEY }}" | gpg --import --batch
           git config --global user.signingkey "[email protected]"
           git config --global user.name "Cloudnode [bot]"
           git config --global user.email "[email protected]"
-          git checkout "${GITHUB_REF#refs/heads/}"
           git add "**/index.ts"
           git commit -S -m "chore: update indices"
           git push