Push website rebuild commits via deploy key instead of GITHUB_TOKEN

This commit is contained in:
2026-07-08 22:42:25 +02:00
parent 7d3177ba8a
commit 47126f4ae1
2 changed files with 5 additions and 2 deletions
+3 -1
View File
@@ -25,7 +25,7 @@ concurrency:
cancel-in-progress: ${{ github.event_name == 'pull_request' }} cancel-in-progress: ${{ github.event_name == 'pull_request' }}
permissions: permissions:
contents: write contents: read
jobs: jobs:
build-website: build-website:
@@ -35,6 +35,8 @@ jobs:
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v4.1.7 uses: actions/checkout@v4.1.7
with:
ssh-key: ${{ secrets.WEBSITE_DEPLOY_KEY }}
- name: Set up Node.js - name: Set up Node.js
uses: actions/setup-node@v4 uses: actions/setup-node@v4
@@ -12,7 +12,7 @@ concurrency:
cancel-in-progress: false cancel-in-progress: false
permissions: permissions:
contents: write contents: read
jobs: jobs:
rebuild-roadmap: rebuild-roadmap:
@@ -27,6 +27,7 @@ jobs:
uses: actions/checkout@v4.1.7 uses: actions/checkout@v4.1.7
with: with:
ref: main ref: main
ssh-key: ${{ secrets.WEBSITE_DEPLOY_KEY }}
- name: Set up Node.js - name: Set up Node.js
uses: actions/setup-node@v4 uses: actions/setup-node@v4