#1: use new PAT to open issues

DARMA-tasking · Jan 8, 2025 · 0b5c63c · 0b5c63c
1 parent 6940e3b
commit 0b5c63c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/.github/workflows/check-repositories.yml b/.github/workflows/check-repositories.yml
@@ -12,15 +12,13 @@ concurrency:
   group: ${{ github.event.repository.name }}-${{ github.ref }}-${{ github.workflow }}
   cancel-in-progress: True
 
-permissions:
-  issues: write
-
 jobs:
   list_repositories:
     name: List repositories
     runs-on: ubuntu-latest
     env:
       GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      GH_PAT: ${{ secrets.github_pat2}}
     steps:
       - uses: actions/checkout@v4
 

diff --git a/ci/check_repository.sh b/ci/check_repository.sh
@@ -73,9 +73,9 @@ else
 fi
 
 # Use gh CLI to create issue if necessary
-echo "$GH_TOKEN" | gh auth login --with-token
+echo "$GH_PAT" | gh auth login --with-token
 echo "---------------------------------"
-echo "$GH_TOKEN" | gh auth status
+echo "$GH_PAT" | gh auth status
 gh repo view $ORG/$REPOSITORY
 gh api graphql -f query='query { repository(owner: "'$ORG'", name: "'$REPOSITORY'") { viewerPermission } }'
 echo "---------------------------------"