use a PAT

.github/workflows/format-pr.yml

@@ -92,11 +92,14 @@ jobs:
         uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
         with:
           repository: TurboWarp/extensions
-          # Commits made using the default token in an issue_comment trigger won't cause more
-          # workflows to run, so any commits it pushes will be stuck in limbo forever waiting
-          # for workflows to run that will never run. To workaround this, we use an SSH key
-          # instead. It's a GitHub deploy key so it's scoped only to this repository.
-          ssh-key: "${{ secrets.FORMAT_PR_DEPLOY_KEY }}"
+          # Can't use the default workflow token because commits made by it won't cause more
+          # workflows to un, so any commits it pushes get stuck in limbo waiting for workflows
+          # to run that will never run.
+          # Can't use a deploy key because it won't be able to access the fork that the pull
+          # request is coming from.
+          # Thus we use a manually created fine-grained personal access token under the
+          # @DangoCat account.
+          token: "${{ secrets.FORMAT_PR_GH_TOKEN }}"
           # Credentials needed for pushing changes at the end.
           # This is already the default, but for safety we are being explicit about this.
           persist-credentials: true