overwrite GitHub token for push step

Author: zefir-git

.github/workflows/ci.yaml

@@ -48,6 +48,8 @@ jobs:
 
       - name: Commit indices
         if: github.event_name == 'pull_request' && steps.uncommitted_indices.outputs.has_changes == 'true'
+        env:
+          GITHUB_TOKEN: ${{ secrets.BOT_GH_TOKEN }}
         run: |
           echo "${{ secrets.BOT_PGP_KEY }}" | gpg --import --batch
           git config --global user.signingkey "[email protected]"