Merge pull request #176 from devcontainers-extra/ci/fix-archive

ci: use token for PR creation

Author: koralowiec

.github/workflows/archive-feature.yaml

@@ -8,16 +8,14 @@ on:
         required: true
         type: string
 
-permissions:
-  contents: write
-  pull-requests: write
-
 jobs:
   archive:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout repository
         uses: actions/checkout@v6
+        with:
+          token: ${{ secrets.ARCHIVE_TOKEN }}
 
       - name: Install just
         uses: extractions/setup-just@v3
@@ -41,7 +39,7 @@ jobs:
 
       - name: Create Pull Request
         env:
-          GH_TOKEN: ${{ github. token }}
+          GH_TOKEN: ${{ secrets.ARCHIVE_TOKEN }}
         run: |
           gh pr create \
             --title "Archive feature:  ${{ inputs.feature_name }}" \