Merge pull request #2176 from MarkDaoust/use_sha

Use sha instead of ref.

Author: MarkDaoust

.github/workflows/bot-pr-fix.yaml

@@ -29,7 +29,7 @@ jobs:
       with:
         # Head repo is the user's fork. Ref is the branch name.
         repository: ${{ github.event.client_payload.pull_request.head.repo.full_name }}
-        ref: ${{ github.event.client_payload.pull_request.head.ref }}
+        ref: ${{ github.event.client_payload.pull_request.head.sha }}
     - name: Fetch base master branch
       run: git fetch -u "$GITHUB_SERVER_URL/$GITHUB_REPOSITORY" master:master
     - name: Format notebooks