Use PAT instead of Github token

So github-actions bot relaunches GHA workflows after push

.github/workflows/pre-commit.yaml

@@ -5,6 +5,9 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v4
+      with:
+        persist-credentials: false
+        fetch-depth: 0
     - uses: actions/setup-python@v5
       with:
         python-version: '3.12'
@@ -28,7 +31,7 @@ jobs:
       if: failure() && startsWith(github.ref, 'refs/heads')
       uses: ad-m/github-push-action@master
       with:
-         github_token: ${{ secrets.GITHUB_TOKEN }}
+         github_token: ${{ secrets.ZS_PAT }}
          branch: ${{ github.ref }}
     env:
       RENV_CONFIG_CACHE_ENABLED: FALSE