Merge pull request #8923 from github/repo-sync

repo sync

.github/workflows/sync-single-english-index.yml

@@ -25,6 +25,8 @@ jobs:
     steps:
       - name: checkout
         uses: actions/checkout@5a4ac9002d0be2fb38bd78e4b4dbde5606d7042f
+        with:
+          ref: ${{ github.head_ref }}
 
       - name: Setup Node
         uses: actions/setup-node@38d90ce44d5275ad62cc48384b3d8a58c500bb5f
@@ -46,10 +48,6 @@ jobs:
           LANGUAGE: 'en'
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: |
-          echo 'git show-ref'
-          git show-ref
-          echo 'git checkout $GITHUB_HEAD_REF'
-          git checkout $GITHUB_HEAD_REF
           npm run build
           npm run sync-search