Fix gh token

Bug: none
Change-Id: I9fd5e26645c5a638302cccaf141067c4aca12241
Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/6696158
Reviewed-by: Benedikt Meurer <[email protected]>
Commit-Queue: Benedikt Meurer <[email protected]>
Auto-Submit: Alex Rudenko <[email protected]>

Author: OrKoN

.github/workflows/auto-close-prs.yml

@@ -16,6 +16,8 @@ jobs:
             .github
       - name: Close open pull requests
         shell: bash
+        env:
+          GH_TOKEN: ${{ github.token }}
         run: |
           PRS=$(gh pr list --state=open --repo=ChromeDevTools/devtools-frontend --json number --jq '.[].number')
           for PR in $PRS; do

OWNERS

@@ -13,6 +13,7 @@ per-file package-lock.json=file://config/owner/INFRA_OWNERS
 per-file package.json=file://config/owner/INFRA_OWNERS
 per-file tsconfig.json=file://config/owner/INFRA_OWNERS
 per-file eslint.config.mjs=file://config/owner/COMMON_OWNERS
+per-file .github=file://config/owner/INFRA_OWNERS
 
 # git submodules
 per-file build=devtools-ci-autoroll-builder@chops-service-accounts.iam.gserviceaccount.com